|
СТ |
Specifying and Generating Test Cases Using Observer Automata |
2005 |
Blom J., Hessel A., Jonsson B., Pettersson P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.04.2005 |
|
СТ |
Time-Optimal Test Cases for Real-Time Systems |
2004 |
Hessel A., Larsen K. G., Nielsen B., Pettersson P., Skou A. |
|
|
|
Lecture Notes in Computer Science |
03.06.2004 |
|
СТ |
Time-Optimal Real-Time Test Case Generation Using UPPAAL |
2004 |
Hessel A., Larsen K. G., Nielsen B., Pattersson P., Skou A. |
|
|
|
Lecture Notes in Computer Science |
11.03.2004 |
