| 2012 | A first step towards algorithm plagiarism detection. Fangfang Zhang, Yoon-chan Jhi, Dinghao Wu, Peng Liu, Sencun Zhu |
| 2012 | A human study of patch maintainability. Zachary P. Fry, Bryan Landau, Westley Weimer |
| 2012 | A quantitative study of accuracy in system call-based malware detection. Davide Canali, Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, Engin Kirda |
| 2012 | Abstracting path conditions. Jan Strejcek, Marek Trtík |
| 2012 | CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications. Ke Zhai, Boni Xu, W. K. Chan, T. H. Tse |
| 2012 | Combining model-based and combinatorial testing for effective test case generation. Cu D. Nguyen, Alessandro Marchetto, Paolo Tonella |
| 2012 | Compositional load test generation for software pipelines. Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2012 | Cooperative types for controlling thread interference in Java. Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan |
| 2012 | Detecting inconsistencies via universal reachability analysis. Aaron Tomb, Cormac Flanagan |
| 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 | 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 | Finding errors in multithreaded GUI applications. Sai Zhang, Hao Lü, Michael D. Ernst |
| 2012 | International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012 Mats Per Erik Heimdahl, Zhendong Su |
| 2012 | Isolating failure causes through test case generation. Jeremias Rößler, Gordon Fraser, Andreas Zeller, Alessandro Orso |
| 2012 | Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say. Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Jeremy G. Siek |
| 2012 | Memoized symbolic execution. Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid |
| 2012 | Multi-slicing: a compiler-supported parallel approach to data dependence profiling. Hongtao Yu, Zhiyuan Li |
| 2012 | Probabilistic symbolic execution. Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser |
| 2012 | RefaFlex: safer refactorings for reflective Java programs. Andreas Thies, Eric Bodden |
| 2012 | Regression mutation testing. Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid |
| 2012 | Remedying the eval that men do. Simon Holm Jensen, Peter A. Jonsson, Anders Møller |
| 2012 | Residual investigation: predictive and precise bug detection. Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis |
| 2012 | Search-based system testing: high coverage, no false alarms. Florian Gross, Gordon Fraser, Andreas Zeller |
| 2012 | State aware test case regeneration for improving web application test suite coverage and fault detection. Nadia Alshahwan, Mark Harman |
| 2012 | Static detection of brittle parameter typing. Michael Pradel, Severin Heiniger, Thomas R. Gross |
| 2012 | Static memory leak detection using full-sparse value-flow analysis. Yulei Sui, Ding Ye, Jingling Xue |
| 2012 | Swarm testing. Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, John Regehr |
| 2012 | THeME: a system for testing by hardware monitoring events. Kristen Walcott-Justice, Jason Mars, Mary Lou Soffa |
| 2012 | Testing concurrent programs to achieve high synchronization coverage. Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, Mary Jean Harrold |
| 2012 | Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities. Juan Caballero, Gustavo Grieco, Mark Marron, Antonio Nappa |
| 2012 | Understanding user understanding: determining correctness of generated program invariants. Matt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel |
| 2012 | ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies. Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazzini, Tevfik Bultan, Alessandro Orso, Christopher Kruegel |