| 2012 | CARIAL: Cost-Aware Software Reliability Improvement with Active Learning. | Boya Sun, Gang Shu, Andy Podgurski, Soumya Ray |
| 2012 | Leveraging User-Privilege Classification to Customize Usage-based Statistical Models of Web Applications. | Sara Sprenkle, Camille Cobb, Lori L. Pollock |
| 2012 | Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. | Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid |
| 2012 | Adding Criteria-Based Tests to Test Driven Development. | William Shelton, Nan Li, Paul Ammann, Jeff Offutt |
| 2012 | Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification. | Kiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, D. Richard Kuhn |
| 2012 | Common Patterns in Combinatorial Models. | Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick |
| 2012 | Simplified Modeling of Combinatorial Test Spaces. | Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick |
| 2012 | Model-Based Fuzz Testing. | Ina Schieferdecker |
| 2012 | Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. | Elke Salecker, Sabine Glesner |
| 2012 | Towards a Methodology for Verifying Partial Model Refinements. | Rick Salay, Marsha Chechik, Jan Gorzny |
| 2012 | Software Product Line Testing - A 3D Regression Testing Problem. | Per Runeson, Emelie Engstrm |
| 2012 | It Takes Two to Tango - An Experience Report on Industry - Academia Collaboration. | Per Runeson |
| 2012 | Incremental Test Case Generation for UML-RT Models Using Symbolic Execution. | Eric James Rapos, Jrgen Dingel |
| 2012 | Combinatorial Test Design in the TOSCA Testsuite: Lessons Learned and Practical Implications. | Rudolf Ramler, Theodorich Kopetzky, Wolfgang Platz |
| 2012 | Web Mutation Testing. | Upsorn Praphamontripong |
| 2012 | Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. | Olivier Ponsini, Claude Michel, Michel Rueher |
| 2012 | Generating Checking Sequences for Nondeterministic Finite State Machines. | Alexandre Petrenko, Adenilso da Silva Simo, Nina Yevtushenko |
| 2012 | Semi-automatic Search-Based Test Generation. | Yury Pavlov, Gordon Fraser |
| 2012 | MESSI: Mutant Evaluation by Static Semantic Interpretation. | Matthew Patrick, Manuel Oriol, John A. Clark |
| 2012 | Statechart Analysis with Symbolic PathFinder. | Corina S. Pasareanu, Daniel Balasubramanian |
| 2012 | A Unified Approach for Localizing Non-deadlock Concurrency Bugs. | Sangmin Park, Richard W. Vuduc, Mary Jean Harrold |
| 2012 | Using Mutants to Locate "Unknown" Faults. | Mike Papadakis, Yves Le Traon |
| 2012 | Managing Evolution by Orchestrating Requirements and Testing Engineering Processes. | Federica Paci, Fabio Massacci, Fabrice Bouquet, Stephane Debricon |
| 2012 | Random Testing: Evaluation of a Law Describing the Number of Faults Found. | Manuel Oriol |
| 2012 | AutoFLox: An Automatic Fault Localizer for Client-Side JavaScript. | Frolin S. Ocariza Jr., Karthik Pattabiraman, Ali Mesbah |