Corina Pasareanu
Corina Pasareanu
CMU/NASA Ames
Verified email at nasa.gov - Homepage
Title
Cited by
Cited by
Year
Bandera: Extracting finite-state models from Java source code
JC Corbett, MB Dwyer, J Hatcliff, S Laubach, CS Pasareanu, H Zheng
Proceedings of the 2000 International Conference on Software Engineering …, 2000
14862000
Generalized symbolic execution for model checking and testing
S Khurshid, CS Păsăreanu, W Visser
International Conference on Tools and Algorithms for the Construction and …, 2003
6822003
Test input generation with Java PathFinder
W Visser, CS Pǎsǎreanu, S Khurshid
Proceedings of the 2004 ACM SIGSOFT international symposium on Software …, 2004
6042004
Learning assumptions for compositional verification
JM Cobleigh, D Giannakopoulou, CS Păsăreanu
International Conference on Tools and Algorithms for the Construction and …, 2003
4772003
Symbolic execution for software testing in practice: preliminary assessment
C Cadar, P Godefroid, S Khurshid, CS Pasareanu, K Sen, N Tillmann, ...
2011 33rd International Conference on Software Engineering (ICSE), 1066-1071, 2011
3912011
JPF–SE: A symbolic execution extension to java pathfinder
S Anand, CS Păsăreanu, W Visser
International conference on tools and algorithms for the construction and …, 2007
356*2007
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software
CS Pǎsǎreanu, PC Mehlitz, DH Bushnell, K Gundy-Burlet, M Lowry, ...
Proceedings of the 2008 international symposium on Software testing and …, 2008
3142008
Differential symbolic execution
S Person, MB Dwyer, S Elbaum, CS Pǎsǎreanu
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008
2832008
A survey of new trends in symbolic execution for software testing and analysis
CS Păsăreanu, W Visser
International journal on software tools for technology transfer 11 (4), 339, 2009
2782009
Symbolic PathFinder: symbolic execution of Java bytecode
CS Păsăreanu, N Rungta
Proceedings of the IEEE/ACM international conference on Automated software …, 2010
2562010
Assumption generation for software component verification
D Giannakopoulou, CS Pasareanu, H Barringer
Proceedings 17th IEEE International Conference on Automated Software …, 2002
2182002
Tool-supported program abstraction for finite-state verification
MB Dwyer, J Hatcliff, R Joehanes, S Laubach, CS Pasreanu, RH Zheng, ...
Proceedings of the 23rd International Conference on Software Engineering …, 2001
1942001
Test input generation for Java containers using state matching
W Visser, CS Pǎsǎreanu, R Pelánek
Proceedings of the 2006 international symposium on Software testing and …, 2006
1812006
Testing android apps through symbolic execution
N Mirzaei, S Malek, CS Păsăreanu, N Esfahani, R Mahmood
ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012
1722012
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
CS Păsăreanu, W Visser, D Bushnell, J Geldenhuys, P Mehlitz, N Rungta
Automated Software Engineering 20 (3), 391-425, 2013
1692013
Parallel symbolic execution for structural test generation
M Staats, C Pǎsǎreanu
Proceedings of the 19th international symposium on Software testing and …, 2010
1582010
Verification of Java programs using symbolic execution and invariant generation
CS Păsăreanu, W Visser
International SPIN Workshop on Model Checking of Software, 164-181, 2004
1572004
Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning
CS Păsăreanu, D Giannakopoulou, MG Bobaru, JM Cobleigh, ...
Formal Methods in System Design 32 (3), 175-205, 2008
1452008
Assume-guarantee model checking of software: A comparative case study
CS Păsăreanu, MB Dwyer, M Huth
International SPIN Workshop on Model Checking of Software, 168-183, 1999
1301999
Resolution of (±)-menthol by immobilized Candida rugosa lipase on superparamagnetic nanoparticles
S Bai, Z Guo, W Liu, Y Sun
Food Chemistry 96 (1), 1-7, 2006
1262006
The system can't perform the operation now. Try again later.
Articles 1–20