| 2012 | A Framework to Support Research in and Encourage Industrial Adoption of Regression Testing Techniques. | Jonathan Miller Kauffman, Gregory M. Kapfhammer |
| 2012 | Towards a Method for Reducing the Test Suites of Database Applications. | Gregory M. Kapfhammer |
| 2012 | Securing Opensource Code via Static Analysis. | Raghudeep Kannavara |
| 2012 | Comparing the Effectiveness of Equivalence Partitioning, Branch Testing and Code Reading by Stepwise Abstraction Applied by Subjects. | Natalia Juristo Juzgado, Sira Vegas, Martn Solari, Silvia Abraho, Isabel Ramos |
| 2012 | Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? | Ren Just, Gregory M. Kapfhammer, Franz Schweiggert |
| 2012 | Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization. | Leif Jonsson, David Broman, Kristian Sandahl, Sigrid Eldh |
| 2012 | Automated Unit Testing of a SCADA Control Software: An Industrial Case Study Based on Action Research. | Shahnewaz A. Jolly, Vahid Garousi, Matt M. Eskandar |
| 2012 | Evaluating Machine-Independent Metrics for State-Space Exploration. | Vilas Jagannath, Matt Kirn, Yu Lin, Darko Marinov |
| 2012 | Overcoming Web Server Benchmarking Challenges in the Multi-core Era. | Raoufehsadat Hashemian, Diwakar Krishnamurthy, Martin F. Arlitt |
| 2012 | Analysis of Test Clusters for Regression Testing. | Bo Guo, Mahadevan Subramaniam, Parvathi Chundi |
| 2012 | Analyzing a Controller of a Power Distribution Unit Using Formal Methods. | Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius |
| 2012 | Minimum Pairwise Coverage Using Constraint Programming Techniques. | Arnaud Gotlieb, Aymeric Hervieu, Benoit Baudry |
| 2012 | X10X: Model Checking a New Programming Language with an "Old" Model Checker. | Milos Gligoric, Peter C. Mehlitz, Darko Marinov |
| 2012 | Identifying Failure-Inducing Combinations in a Combinatorial Test Set. | Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Tao Xie, D. Richard Kuhn, Raghu Kacker |
| 2012 | A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites. | Linda Di Geronimo, Filomena Ferrucci, Alfonso Murolo, Federica Sarro |
| 2012 | Test Case Prioritization Due to Database Changes in Web Applications. | Deepak Garg, Amitava Datta |
| 2012 | CITLAB: A Laboratory for Combinatorial Interaction Testing. | Angelo Gargantini, Paolo Vavassori |
| 2012 | The SmartLogic Tool: Analysing and Testing Smart Card Protocols. | Gerhard de Koning Gans, Joeri de Ruiter |
| 2012 | Behaviourally Adequate Software Testing. | Gordon Fraser, Neil Walkinshaw |
| 2012 | The Seed is Strong: Seeding Strategies in Search-Based Software Testing. | Gordon Fraser, Andrea Arcuri |
| 2012 | Testing Conformance of Life Cycle Dependent Properties of Mobile Applications. | Dominik Franke, Stefan Kowalewski, Carsten Weise, Nath Prakobkosol |
| 2012 | An Integrated Model-Driven Approach for Mechatronic Systems Testing. | Roberto Silveira Silva Filho, Christof J. Budnik |
| 2012 | Formal Model-Based Test for AUTOSAR Multicore RTOS. | Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki |
| 2012 | Experimental Comparison of Test Case Generation Methods for Finite State Machines. | Andr Takeshi Endo, Adenilso da Silva Simo |
| 2012 | Grammar-Based Testing Using Realistic Domains in PHP. | Ivan Enderlin, Frdric Dadeau, Alain Giorgetti, Fabrice Bouquet |