עקוב אחר
Corina Pasareanu
Corina Pasareanu
CMU/NASA Ames
כתובת אימייל מאומתת בדומיין nasa.gov - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Bandera: Extracting finite-state models from Java source code‏
JC Corbett, MB Dwyer, J Hatcliff, S Laubach, CS Păsăreanu, Robby, ...‏
Proceedings of the 22nd international conference on Software engineering …, 2000‏
15782000
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‏
8192003
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‏
7302004
Learning assumptions for compositional verification‏
JM Cobleigh, D Giannakopoulou, CS Păsăreanu‏
Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003‏
5402003
Symbolic execution for software testing in practice: preliminary assessment‏
C Cadar, P Godefroid, S Khurshid, CS Păsăreanu, K Sen, N Tillmann, ...‏
Proceedings of the 33rd International Conference on Software Engineering …, 2011‏
5202011
JPF–SE: A symbolic execution extension to java pathfinder‏
S Anand, CS Păsăreanu, W Visser‏
Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007‏
422*2007
Symbolic PathFinder: symbolic execution of Java bytecode‏
CS Păsăreanu, N Rungta‏
Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010‏
3932010
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‏
3802008
Differential symbolic execution‏
S Person, MB Dwyer, S Elbaum, CS Pǎsǎreanu‏
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008‏
3612008
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, 339-353, 2009‏
3362009
Assumption generation for software component verification‏
D Giannakopoulou, CS Pasareanu, H Barringer‏
Proceedings 17th IEEE International Conference on Automated Software …, 2002‏
2442002
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, 391-425, 2013‏
2302013
Automated assume-guarantee reasoning by abstraction refinement‏
M Gheorghiu Bobaru, CS Păsăreanu, D Giannakopoulou‏
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008‏
2292008
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‏
2232012
Parallel symbolic execution for structural test generation‏
M Staats, C Pǎsǎreanu‏
Proceedings of the 19th international symposium on Software testing and …, 2010‏
2092010
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‏
2052001
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‏
2042006
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‏
1792004
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, 175-205, 2008‏
1752008
Proof rules for automated compositional verification through learning‏
H Barringer, D Giannakopoulou, CS Pasareanu‏
SAVBS 2003, 2003‏
1702003
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20