|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Automated Software Testing of Asynchronous Systems |
Salas, Percy Pari |
2009 |
253 | 2 |
p. 3-19 17 p. |
artikel |
|
| 2 | Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs |
Schumann, Anika |
2009 |
253 | 2 |
p. 87-99 13 p. |
artikel |
|
| 3 | Conformance Testing of Hybrid Systems with Qualitative Reasoning Models |
Aichernig, Bernhard K. |
2009 |
253 | 2 |
p. 53-69 17 p. |
artikel |
|
| 4 | jSynoPSys – A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines |
Dadeau, Frédéric |
2009 |
253 | 2 |
p. 117-132 16 p. |
artikel |
|
| 5 | Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay |
Kim, Moonzoo |
2009 |
253 | 2 |
p. 21-36 16 p. |
artikel |
|
| 6 | Model Based Testing of a Network-on-Chip Component |
Tsiopoulos, Leonidas |
2009 |
253 | 2 |
p. 101-116 16 p. |
artikel |
|
| 7 | On the Use of Uniform Random Generation of Automata for Testing |
Dadeau, Frédéric |
2009 |
253 | 2 |
p. 37-51 15 p. |
artikel |
|
| 8 | Preface |
Finkbeiner, Bernd |
2009 |
253 | 2 |
p. 1- 1 p. |
artikel |
|
| 9 | Test Case Generation by Contract Mutation in Spec# |
Krenn, Willibald |
2009 |
253 | 2 |
p. 71-86 16 p. |
artikel |
9 gevonden resultaten