|
СТ |
Applying Jlint to Space Exploration Software |
2004 |
Artho C., Havelund K. |
|
|
|
Lecture Notes in Computer Science |
12.02.2004 |
|
СТ |
JNuke: Efficient Dynamic Analysis for Java |
2004 |
Artho C., Schuppan V., Biere A., Eugster P., Baur M., Zweimueller B. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
04.09.2004 |
|
СТ |
Experiments with Test Case Generation and Runtime Analysis |
2003 |
Artho C., Drusinsky D., Goldberg A., Havelund K., Lowry M., Pasareanu C., Rosu G., Visser W. |
|
|
|
Lecture Notes in Computer Science |
28.03.2003 |
