|
СТ |
Symbolic Execution with Abstract Subsumption Checking |
2006 |
Anand S., Pasareanu C. S., Visser W. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
23.05.2006 |
|
СТ |
Verification of Java Programs Using Symbolic Execution and Invariant Generation |
2004 |
Pasareanu C. S., Visser W. |
|
|
|
Lecture Notes in Computer Science |
29.04.2004 |
|
СТ |
Auto-generating Test Sequences Using Model Checkers: A Case Study |
2004 |
Heimdahl M.P. E., Rayadurgam S., Visser W., Devaraj G., Gao J. |
|
|
|
Lecture Notes in Computer Science |
11.03.2004 |
|
СТ |
Model Checking Multi-Agent Programs with CASP |
2003 |
Bordini R. H., Fisher M., Pardavila C., Visser W., Wooldridge M. |
|
|
|
Lecture Notes in Computer Science |
19.09.2003 |
|
СТ |
What Went Wrong: Explaining Counterexamples |
2003 |
Groce A., Visser W. |
|
|
|
Lecture Notes in Computer Science |
29.05.2003 |
|
СТ |
Generalized Symbolic Execution for Model Checking and Testing |
2003 |
Khurshid S., Pasareanu C. S., Visser W. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |
|
СТ |
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 |
|
СТ |
Heuristic Model Checking for Java Programs |
2002 |
Groce A., Visser W. |
|
|
|
Lecture Notes in Computer Science |
01.05.2002 |
|
СТ |
Addressing Dynamic Issues of Program Model Checking |
2001 |
Lerda F., Visser W. |
|
|
|
Lecture Notes in Computer Science |
14.06.2001 |
|
СТ |
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs |
2001 |
Pasareanu C., Dwyer M. B., Visser W. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.05.2001 |
