Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
Bandera: extracting finite-state models from Java source code
- J. Corbett, Matthew B. Dwyer, Hongjun Zheng
- Computer ScienceProceedings of the International Conference on…
- 1 June 2000
TLDR
Generalized Symbolic Execution for Model Checking and Testing
- S. Khurshid, C. Pasareanu, W. Visser
- Computer ScienceTACAS
- 7 April 2003
TLDR
Symbolic PathFinder: symbolic execution of Java bytecode
- C. Pasareanu, Neha Rungta
- Computer ScienceASE '10
- 20 September 2010
Symbolic Pathfinder (SPF) combines symbolic execution with model checking and constraint solving for automated test case generation and error detection in Java programs with unspecified inputs. In…
Test input generation with java PathFinder
- W. Visser, C. Pasareanu, S. Khurshid
- Computer ScienceISSTA '04
- 11 July 2004
TLDR
Learning Assumptions for Compositional Verification
- Jamieson M. Cobleigh, D. Giannakopoulou, C. Pasareanu
- Computer ScienceTACAS
- 7 April 2003
TLDR
Combining unit-level symbolic execution and system-level concrete execution for testing nasa software
- C. Pasareanu, P. Mehlitz, Mark Pape
- Computer ScienceISSTA '08
- 20 July 2008
TLDR
Test input generation for java containers using state matching
- W. Visser, C. Pasareanu, Radek Pelánek
- Computer ScienceISSTA '06
- 21 July 2006
TLDR
JPF-SE: A Symbolic Execution Extension to Java PathFinder
- Saswat Anand, C. Pasareanu, W. Visser
- Computer ScienceTACAS
- 24 March 2007
TLDR
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
- C. Pasareanu, W. Visser, David H. Bushnell, J. Geldenhuys, P. Mehlitz, Neha Rungta
- Computer ScienceAutomated Software Engineering
- 26 February 2013
Symbolic PathFinder (SPF) is a software analysis tool that combines symbolic execution with model checking for automated test case generation and error detection in Java bytecode programs. In SPF,…
Differential symbolic execution
- S. Person, Matthew B. Dwyer, S. Elbaum, C. Pasareanu
- Computer ScienceSIGSOFT '08/FSE-16
- 9 November 2008
TLDR
...
...