| 2011 | A Framework for the Automatic Correction of Constraint Programs. Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah |
| 2011 | A Framework to Test Advanced Web Services Transactions. Ruben Casado, Javier Tuya, Muhammad Younas |
| 2011 | A Study of Usage-Based Navigation Models and Generated Abstract Test Cases for Web Applications. Sara Sprenkle, Lori L. Pollock, Lucy Simko |
| 2011 | A Systematic Test Case Generation Approach for Testing Message Length Variability. Kyungmin Go, Sungwon Kang, Myungchul Kim, Jihyun Lee |
| 2011 | An Approach for Search Based Testing of Null Pointer Exceptions. Daniele Romano, Massimiliano Di Penta, Giuliano Antoniol |
| 2011 | An Empirical Evaluation of Assertions as Oracles. Kavir Shrestha, Matthew J. Rutherford |
| 2011 | An Empirical Study on the Relation between Dependency Neighborhoods and Failures. Thomas Zimmermann, Nachiappan Nagappan, Kim Herzig, Rahul Premraj, Laurie A. Williams |
| 2011 | An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems. Joachim Hänsel, Daniela Rose, Paula Herber, Sabine Glesner |
| 2011 | Analysis of Mistakes as a Method to Improve Test Case Design. Sigrid Eldh, Hans Hansson, Sasikumar Punnekkat |
| 2011 | Applying aggressive propagation-based strategies for testing changes. Raúl A. Santelices, Mary Jean Harrold |
| 2011 | Assessing Oracle Quality with Checked Coverage. David Schuler, Andreas Zeller |
| 2011 | CRANE: Failure Prediction, Change Analysis and Test Prioritization in Practice - Experiences from Windows. Jacek Czerwonka, Rajiv Das, Nachiappan Nagappan, Alex Tarvo, Alex Teterev |
| 2011 | Conformance Testing from Message Sequence Charts. Haitao Dan, Robert M. Hierons |
| 2011 | Constraint-Based Program Debugging Using Data Structure Repair. Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2011 | Cost Optimizations in Runtime Testing and Diagnosis of Systems of Systems. Alberto González-Sanchez |
| 2011 | EFindBugs: Effective Error Ranking for FindBugs. Haihao Shen, Jianhong Fang, Jianjun Zhao |
| 2011 | Efficient Mutation Killers in Action. Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn |
| 2011 | Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection. Hadi Hemmati, Andrea Arcuri, Lionel C. Briand |
| 2011 | Execution Hijacking: Improving Dynamic Analysis by Flying off Course. Petar Tsankov, Wei Jin, Alessandro Orso, Saurabh Sinha |
| 2011 | Experiences of System-Level Model-Based GUI Testing of an Android Application. Tommi Takala, Mika Katara, Julian Harty |
| 2011 | Exploiting Common Object Usage in Test Case Generation. Gordon Fraser, Andreas Zeller |
| 2011 | Factors Limiting Industrial Adoption of Test Driven Development: A Systematic Review. Adnan Causevic, Daniel Sundmark, Sasikumar Punnekkat |
| 2011 | Finding Software Vulnerabilities by Smart Fuzzing. Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier |
| 2011 | Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2011, Berlin, Germany, March 21-25, 2011 |
| 2011 | Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems. Ahmad A. Saifan, Jürgen Dingel, Jeremy S. Bradbury, Ernesto Posse |
| 2011 | Improving Regression Testing Transparency and Efficiency with History-Based Prioritization - An Industrial Case Study. Emelie Engström, Per Runeson, Andreas Ljung |
| 2011 | Inferential Checking for Mutants Modifying Database States. Chixiang Zhou, Phyllis G. Frankl |
| 2011 | It is Not the Length That Matters, It is How You Control It. Gordon Fraser, Andrea Arcuri |
| 2011 | Model Checking a TTCAN Implementation. Daniel Keating, Allan McInnes, Michael P. Hayes |
| 2011 | Multicore SDK: A Practical and Efficient Deadlock Detector for Real-World Applications. Zhi Da Luo, Raja Das, Yao Qi |
| 2011 | Mutation Testing of "Go-Back" Functions Based on Pushdown Automata. Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa |
| 2011 | Mutation-Based Test Generation from Security Protocols in HLPSL. Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam |
| 2011 | On the Improvement of the Mutation Score Using Distinguishing Test Cases. Simona Nica |
| 2011 | Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems. Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu |
| 2011 | Providing a Software Quality Framework for Testing of Mobile Applications. Dominik Franke, Carsten Weise |
| 2011 | Regression testing in the presence of non-code changes. Agastya Nanda, Senthil Mani, Saurabh Sinha, Mary Jean Harrold, Alessandro Orso |
| 2011 | Risk-Based Security Testing in Cloud Computing Environments. Philipp Zech |
| 2011 | Runtime Verification of Linux Kernel Modules Based on Call Interception. Vladimir V. Rubanov, Eugene A. Shatokhin |
| 2011 | Security Model Evolution of PHP Web Applications. Dominic Letarte, François Gauthier, Ettore Merlo |
| 2011 | Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing. Pierre-Cyrille Héam, Cyril Nicaud |
| 2011 | SoftwareHardware Hybrid Systems Verification. Neelesh Bhattacharya |
| 2011 | Systematic Testing of Database Engines Using a Relational Constraint Solver. Shadi Abdul Khalek, Sarfraz Khurshid |
| 2011 | Tailored Shielding and Bypass Testing of Web Applications. Tejeddine Mouelhi, Yves Le Traon, Erwan Abgrall, Benoit Baudry, Sylvain Gombault |
| 2011 | Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems. Waldemar Hummer, Orna Raz, Onn Shehory, Philipp Leitner, Schahram Dustdar |
| 2011 | Test Generation for X-machines with Non-terminal States and Priorities of Operations. Kirill Bogdanov |
| 2011 | Testing Resource Usage in Home Automation Systems. Yves Grasland |
| 2011 | Towards Software Quality and User Satisfaction through User Interfaces. Pedro Luis Mateo Navarro, Gregorio Martínez Pérez, Diego Sevilla Ruiz |
| 2011 | Towards a Language and Framework for Penurious Testing. Colin Atkinson, Florian Barth, Oliver Hummel, Marcus Schumacher |
| 2011 | Using Property-Based Oracles when Testing Embedded System Applications. Tingting Yu, Ahyoung Sung, Witawas Srisa-an, Gregg Rothermel |
| 2011 | Using SQL Hotspots in a Prioritization Heuristic for Detecting All Types of Web Application Vulnerabilities. Ben H. Smith, Laurie A. Williams |
| 2011 | Using semi-supervised clustering to improve regression test selection techniques. Songyu Chen, Zhenyu Chen, Zhihong Zhao, Baowen Xu, Yang Feng |
| 2011 | Why are Bug Reports Invalid? Jian Sun |