| 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 | 1526 | 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 | 721 | 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 | 640 | 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 | 491 | 2003 |
| 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 | 425 | 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 | 374* | 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 | 341 | 2008 |
| Differential symbolic execution S Person, MB Dwyer, S Elbaum, CS Pǎsǎreanu Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008 | 301 | 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 | 296 | 2010 |
| 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 | 290 | 2009 |
| Assumption generation for software component verification D Giannakopoulou, CS Pasareanu, H Barringer Proceedings 17th IEEE International Conference on Automated Software …, 2002 | 229 | 2002 |
| 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 | 194 | 2006 |
| 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 | 192 | 2001 |
| 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 | 189 | 2013 |
| 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 | 189 | 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 | 176 | 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 | 167 | 2004 |
| 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 | 151 | 2008 |
| 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 | 133 | 1999 |
| 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 | 129 | 2006 |
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
