| 2011 | On the influence of multiple faults on coverage-based fault localization. | Nicholas DiGiuseppe, James A. Jones |
| 2011 | Dynamic invariant detection for relational databases. | Jake Cobb, James A. Jones, Gregory M. Kapfhammer, Mary Jean Harrold |
| 2011 | Testing concurrent programs on relaxed memory models. | Jacob Burnim, Koushik Sen, Christos Stergiou |
| 2011 | Minimizing reproduction of software failures. | Martin Burger, Andreas Zeller |
| 2011 | Continuation equivalence: a correctness criterion for static optimizations of dynamic analyses. | Eric Bodden |
| 2011 | Efficient, sensitivity resistant binary instrumentation. | Andrew R. Bernat, Kevin A. Roundy, Barton P. Miller |
| 2011 | Polyglot: modeling and analysis for multiple Statechart formalisms. | Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry |
| 2011 | Statically-directed dynamic automated test generation. | Domagoj Babic, Lorenzo Martignoni, Stephen McCamant, Dawn Song |
| 2011 | Adaptive random testing: an illusion of effectiveness? | Andrea Arcuri, Lionel C. Briand |
| 2011 | High coverage testing of Haskell programs. | Tristan Oliver Richard Allwood, Cristian Cadar, Susan Eisenbach |
| 2010 | Automated fixing of programs with contracts. | Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller |
| 2010 | Analyzing concurrency bugs using dual slicing. | Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan |
| 2010 | Using compression algorithms to support the comprehension of program traces. | Neil Walkinshaw, Sheeva Afshan, Phil McMinn |
| 2010 | Detection of Transactional Memory anomalies using static analysis. | Bruno C. Teixeira, Joo Loureno, Eitan Farchi, Ricardo J. Dias, Diogo Sousa |
| 2010 | Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. | Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su |
| 2010 | Parallel symbolic execution for structural test generation. | Matt Staats, Corina S. Pasareanu |
| 2010 | Exploiting program dependencies for scalable multiple-path symbolic execution. | Ral A. Santelices, Mary Jean Harrold |
| 2010 | ASSURE: automated support for secure and usable requirements engineering. | Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson |
| 2010 | Unit testing for concurrent business code. | Yao Qi, Yarden Nir-Buchbinder, Eitan Farchi, Raja Das, Zhi Da Luo, Zhi Gan |
| 2010 | Detection of high-level execution patterns in reactive behavior of control programs. | Herbert Prhofer, Roland Schatz, Christian Wirth |
| 2010 | N-version disassembly: differential testing of x86 disassemblers. | Roberto Paleari, Lorenzo Martignoni, Giampaolo Fresi Roglia, Danilo Bruschi |
| 2010 | Software fault prediction tool. | Thomas J. Ostrand, Elaine J. Weyuker |
| 2010 | Testing system virtual machines. | Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi |
| 2010 | Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems. | Antinisca Di Marco, Antonia Bertolino, Felicita Di Giandomenico, Paolo Masci, Antonino Sabetta |
| 2010 | Automatic detection of unsafe component loadings. | Taeho Kwon, Zhendong Su |