| 2012 | Dynamic analysis of inefficiently-used containers. | Shengqian Yang, Dacong Yan, Guoqing Xu, Atanas Rountev |
| 2012 | Memoized symbolic execution. | Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid |
| 2012 | Towards an integrated approach for validating qualities of self-adaptive systems. | Danny Weyns |
| 2012 | THeME: a system for testing by hardware monitoring events. | Kristen Walcott-Justice, Jason Mars, Mary Lou Soffa |
| 2012 | Detecting inconsistencies via universal reachability analysis. | Aaron Tomb, Cormac Flanagan |
| 2012 | RefaFlex: safer refactorings for reflective Java programs. | Andreas Thies, Eric Bodden |
| 2012 | Static memory leak detection using full-sparse value-flow analysis. | Yulei Sui, Ding Ye, Jingling Xue |
| 2012 | Abstracting path conditions. | Jan Strejcek, Marek Trtk |
| 2012 | Understanding user understanding: determining correctness of generated program invariants. | Matt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel |
| 2012 | Isolating failure causes through test case generation. | Jeremias Rler, Gordon Fraser, Andreas Zeller, Alessandro Orso |
| 2012 | Static detection of brittle parameter typing. | Michael Pradel, Severin Heiniger, Thomas R. Gross |
| 2012 | Combining model-based and combinatorial testing for effective test case generation. | Cu D. Nguyen, Alessandro Marchetto, Paolo Tonella |
| 2012 | A static analysis tool using a three-step approach for data races in HPC programs. | Yasushi Negishi, Hiroki Murata, Guojing Cong, Hui-Fang Wen, I-Hsin Chung |
| 2012 | Residual investigation: predictive and precise bug detection. | Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis |
| 2012 | Efficient regression testing of ontology-driven systems. | Mijung Kim, Jake Cobb, Mary Jean Harrold, Tahsin M. Kur, Alessandro Orso, Joel H. Saltz, Andrew R. Post, Kunal Malhotra, Shamkant B. Navathe |
| 2012 | Remedying the eval that men do. | Simon Holm Jensen, Peter A. Jonsson, Anders Mller |
| 2012 | Empirical investigation of search algorithms for environment model-based testing of real-time embedded software. | Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand |
| 2012 | Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator. | Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, B. M. Mainul Hossain |
| 2012 | Testing concurrent programs to achieve high synchronization coverage. | Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, Mary Jean Harrold |
| 2012 | On-the-fly detection of data races in OpenMP programs. | Ok-Kyoon Ha, In-Bon Kuh, Guy Martin Tchamgoue, Yong-Kee Jun |
| 2012 | Search-based system testing: high coverage, no false alarms. | Florian Gross, Gordon Fraser, Andreas Zeller |
| 2012 | Swarm testing. | Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, John Regehr |
| 2012 | Finding common ground: choose, assert, and assume. | Alex Groce, Martin Erwig |
| 2012 | Probabilistic symbolic execution. | Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser |
| 2012 | A human study of patch maintainability. | Zachary P. Fry, Bryan Landau, Westley Weimer |