|
СТ |
Test Generation with Inputs, Outputs, and Quiescence |
1996 |
Tretmans J. |
|
|
|
Lecture Notes in Computer Science |
24.04.1996 |
|
СТ |
Factorized test generation for multi-input/output transition systems |
1998 |
Brinksma E., Heerink L., Tretmans J. |
|
|
|
Testing of Communicating Systems (IFIP) |
29.01.2005 |
|
СТ |
Testing Concurrent Systems: A Formal Approach |
1999 |
Tretmans J. |
|
|
|
Lecture Notes in Computer Science |
15.09.1999 |
|
СТ |
Testing Transition Systems: An Annotated Bibliography |
2001 |
Brinksma E., Tretmans J. |
|
|
|
Lecture Notes in Computer Science |
04.11.2001 |
|
СТ |
GAST: Generic Automated Software Testing |
2003 |
Koopman P., Alimarine A., Tretmans J., Plasmeijer R. |
|
|
|
Lecture Notes in Computer Science |
19.06.2003 |
|
СТ |
Compositional Testing with IOCO |
2004 |
Van Der Bijl M., Rensink A., Tretmans J. |
|
|
|
Lecture Notes in Computer Science |
11.03.2004 |
|
СТ |
Test Generation Based on Symbolic Specifications |
2005 |
Frantzen L., Tretmans J., Willemse T.A. C. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.04.2005 |
