|
СТ |
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 |
|
СТ |
Learning Assumptions for Compositional Verification |
2003 |
Cobleigh J. M., Giannakopoulou D., Pasareanu C. S. |
|
|
|
Lecture Notes in Computer Science |
17.04.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 |
|
СТ |
Foundations of the Bandera Abstraction Tools |
2002 |
Hatcliff J., Dwyer M. B., Pasareanu C. S., Robby. |
|
|
|
Lecture Notes in Computer Science |
14.02.2003 |
|
СТ |
Assume-Guarantee Model Checking of Software: A Comparative Case Study |
1999 |
Pasareanu C. S., Dwyer M. B., Huth M. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
Filter-Based Model Checking of Partial Systems |
1998 |
Dwyer M. B., Pasareanu C. S. |
|
|
|
Software Engineering Notes |
26.03.1999 |
