|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Alternating simulation and IOCO |
Veanes, Margus |
2011 |
14 | 4 |
p. 387-405 |
artikel |
|
| 2 | Model-based testing of software and systems: recent advances and challenges |
Petrenko, Alexandre |
2012 |
14 | 4 |
p. 383-386 |
artikel |
|
| 3 | Model generation for quantified formulas with application to test data generation |
Gladisch, Christoph D. |
2012 |
14 | 4 |
p. 439-459 |
artikel |
|
| 4 | More testable properties |
Falcone, Yliès |
2011 |
14 | 4 |
p. 407-437 |
artikel |
|
| 5 | Multi-objective optimization algorithms applied to the class integration and test order problem |
Vergilio, Silvia Regina |
2012 |
14 | 4 |
p. 461-475 |
artikel |
5 gevonden resultaten