| 2013 | Test Case Prioritization Using Requirements-Based Clustering. | Md. Junaid Arafeen, Hyunsook Do |
| 2013 | Considering Context Events in Event-Based Testing of Mobile Applications. | Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, Nicola Amatucci |
| 2013 | Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment. | Shaukat Ali, Tao Yue, Lionel C. Briand |
| 2013 | Rank: A Tool to Check Program Termination and Computational Complexity. | Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord |
| 2013 | JAutomate: A Tool for System- and Acceptance-test Automation. | Emil Algroth, Michel Nass, Helena Holmstrm Olsson |
| 2013 | Transitioning Manual System Test Suites to Automated Testing: An Industrial Case Study. | Emil Algroth, Robert Feldt, Helena Holmstrm Olsson |
| 2013 | Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost. | Sheeva Afshan, Phil McMinn, Mark Stevenson |
| 2013 | Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. | Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Alfredo Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicols Rosner, Ignacio Vissani |
| 2013 | Formal Models of Bank Cards for Free. | Fides Aarts, Joeri de Ruiter, Erik Poll |
| 2012 | Empirical Studies on Test Effectiveness for Database Applications. | Chixiang Zhou, Phyllis G. Frankl |
| 2012 | Combinatorial Testing on ID3v2 Tags of MP3 Files. | Zhiqiang Zhang, Xiaojian Liu, Jian Zhang |
| 2012 | GUICOP: Specification-Based GUI Testing. | Fadi A. Zaraket, Wes Masri, Marc Adam, Dalal Hammoud, Raghd Hamzeh, Raja Farhat, Elie Khamissi, Joseph Noujaim |
| 2012 | A Large Scale Empirical Study on User-Centric Performance Analysis. | Shahed Zaman, Bram Adams, Ahmed E. Hassan |
| 2012 | Towards Practical Debugging for Regression Faults. | Kai Yu, Mengxiang Lin |
| 2012 | Open Research Challenges of Localizing Faults in Programs Using Constraints. | Franz Wotawa |
| 2012 | Search-Based Stress Testing of Wireless Network Protocol Stacks. | Matthias Woehrle |
| 2012 | Technical Debt in Test Automation. | Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist |
| 2012 | Events-Based Security Monitoring Using MMT Tool. | Bachar Wehbi, Edgardo Montes de Oca, Michel Bourdells |
| 2012 | CAST: Automating Software Tests for Embedded Systems. | Michael Wahler, Ettore Ferranti, Robin Steiger, Rahul Jain, Kristian Nagy |
| 2012 | Combining Static Analysis and Constraint Solving for Automatic Test Case Generation. | Kostyantyn Vorobyov, Padmanabhan Krishnan |
| 2012 | Dynamic Backward Slicing of Model Transformations. | Zoltn Ujhelyi, kos Horvth, Dniel Varr |
| 2012 | Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations. | Hanh Nhi Tran, Christian Percebois |
| 2012 | Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs. | Paolo Tonella, Alessandro Marchetto, Duy Cu Nguyen, Yue Jia, Kiran Lakhotia, Mark Harman |
| 2012 | @tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies. | Shin Hwei Tan, Darko Marinov, Lin Tan, Gary T. Leavens |
| 2012 | Challenges for Addressing Quality Factors in Model Transformation. | Eugene Syriani, Jeff Gray |