| Bandera: Extracting finite-state models from Java source code JC Corbett, MB Dwyer, J Hatcliff, S Laubach, CS Păsăreanu, H Zheng Proceedings of the 22nd international conference on Software engineering …, 2000 | 1554 | 2000 |
| 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 | 764 | 2003 |
| 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 | 667 | 2004 |
| Learning assumptions for compositional verification JM Cobleigh, D Giannakopoulou, CS Păsăreanu International Conference on Tools and Algorithms for the Construction and …, 2003 | 515 | 2003 |
| 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 | 449 | 2011 |
| 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 | 398* | 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 | 360 | 2008 |
| Symbolic PathFinder: symbolic execution of Java bytecode CS Păsăreanu, N Rungta Proceedings of the IEEE/ACM international conference on Automated software …, 2010 | 333 | 2010 |
| Differential symbolic execution S Person, MB Dwyer, S Elbaum, CS Pǎsǎreanu Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008 | 321 | 2008 |
| 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-353, 2009 | 314 | 2009 |
| Assumption generation for software component verification D Giannakopoulou, CS Pasareanu, H Barringer Proceedings 17th IEEE International Conference on Automated Software …, 2002 | 234 | 2002 |
| 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 | 217 | 2013 |
| 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 | 204 | 2001 |
| 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 | 201 | 2006 |
| 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 | 199 | 2012 |
| Parallel symbolic execution for structural test generation M Staats, C Pǎsǎreanu Proceedings of the 19th international symposium on Software testing and …, 2010 | 188 | 2010 |
| 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 | 174 | 2004 |
| Automated assume-guarantee reasoning by abstraction refinement M Gheorghiu Bobaru, CS Păsăreanu, D Giannakopoulou International Conference on Computer Aided Verification, 135-148, 2008 | 161 | 2008 |
| 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 | 161 | 2008 |
| Deepsafe: A data-driven approach for assessing robustness of neural networks D Gopinath, G Katz, CS Păsăreanu, C Barrett International symposium on automated technology for verification and …, 2018 | 150 | 2018 |
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
