|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Advances in test generation for testing software and systems |
Yenigün, Hüsnü |
2015 |
18 | 3 |
p. 245-249 |
artikel |
|
| 2 | A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets |
Faria, João Pascoal |
2014 |
18 | 3 |
p. 285-304 |
artikel |
|
| 3 | Automated test generation using model checking: an industrial evaluation |
Enoiu, Eduard P. |
2014 |
18 | 3 |
p. 335-353 |
artikel |
|
| 4 | Complete model-based equivalence class testing |
Huang, Wen-ling |
2014 |
18 | 3 |
p. 265-283 |
artikel |
|
| 5 | Generating test case chains for reactive systems |
Schrammel, Peter |
2014 |
18 | 3 |
p. 319-334 |
artikel |
|
| 6 | Model-based testing for concurrent systems: unfolding-based test selection |
Ponce de León, Hernán |
2014 |
18 | 3 |
p. 305-318 |
artikel |
|
| 7 | On adaptive experiments for nondeterministic finite state machines |
Kushik, Natalia |
2014 |
18 | 3 |
p. 251-264 |
artikel |
7 gevonden resultaten