| 2014 | A variability-based testing approach for synthesizing video sequences. | Jos Angel Galindo, Mauricio Alfrez, Mathieu Acher, Benoit Baudry, David Benavides |
| 2014 | Extending a search-based test generator with adaptive dynamic symbolic execution. | Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri |
| 2014 | X-PERT: a web application testing tool for cross-browser inconsistency detection. | Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |
| 2014 | Cross-platform feature matching for web applications. | Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |
| 2014 | Reusing constraint proofs for scalable program analysis. | Meixian Chen |
| 2014 | CoREBench: studying complexity of regression errors. | Marcel Bhme, Abhik Roychoudhury |
| 2014 | Tailored source code transformations to synthesize computationally diverse program variants. | Benoit Baudry, Simon Allier, Martin Monperrus |
| 2014 | Reducing GUI test suites via program slicing. | Stephan Arlt, Andreas Podelski, Martin Wehrle |
| 2014 | Automated testing for SQL injection vulnerabilities: an input mutation approach. | Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand, Nadia Alshahwan |
| 2014 | Testing methods used in the automotive industry: results from a survey. | Harald Altinger, Franz Wotawa, Markus Schurius |
| 2014 | Coverage and fault detection of the output-uniqueness test selection criteria. | Nadia Alshahwan, Mark Harman |
| 2014 | Semantic differential repair for input validation and sanitization. | Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan |
| 2013 | Faster mutation testing inspired by test prioritization and reduction. | Lingming Zhang, Darko Marinov, Sarfraz Khurshid |
| 2013 | Automatically repairing broken workflows for evolving GUI applications. | Sai Zhang, Hao L, Michael D. Ernst |
| 2013 | SimRacer: an automated framework to support testing for process-level races. | Tingting Yu, Witawas Srisa-an, Gregg Rothermel |
| 2013 | Expressing and checking intended changes via software change contracts. | Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury |
| 2013 | Context-sensitive delta inference for identifying workload-dependent performance bottlenecks. | Xusheng Xiao, Shi Han, Dongmei Zhang, Tao Xie |
| 2013 | Model-based testing in legacy software modernization: an experience report. | Marc-Florian Wendland, Marco Kranz, Christian Hein, Tom Ritter, Ana Garca Flaquer |
| 2013 | Introducing the QCEP-testing system for executable acceptance test driven development of complex event processing applications. | Johannes Wei, Peter Mandl, Alexander Schill |
| 2013 | Practical blended taint analysis for JavaScript. | Shiyi Wei, Barbara G. Ryder |
| 2013 | Towards quality of model-based testing in the ioco framework. | Michele Volpato, Jan Tretmans |
| 2013 | Semi-valid input coverage for fuzz testing. | Petar Tsankov, Mohammad Torabi Dashti, David A. Basin |
| 2013 | Finding your way in the testing jungle: a learning approach to web security testing. | Omer Tripp, Omri Weisman, Lotem Guy |
| 2013 | Product-line verification with feature-oriented contracts. | Thomas Thm |
| 2013 | Verification of variable service orchestrations using model checking. | Selma Suloglu, Riza Aktunc, Mustafa Yucefaydali |