| 2011 | Execution Hijacking: Improving Dynamic Analysis by Flying off Course. | Petar Tsankov, Wei Jin, Alessandro Orso, Saurabh Sinha |
| 2011 | Inverse Model Based Testing - Generating Behavior Models from Abstract Test Cases. | Christoph Torens, Lars Ebrecht, Karsten Lemmer |
| 2011 | Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates. | Cong Tian, Shaoying Liu, Shin Nakajima |
| 2011 | Proof Composition for Deductive Verification of Software Product Lines. | Thomas Thm, Ina Schaefer, Martin Kuhlemann, Sven Apel |
| 2011 | Experiences of System-Level Model-Based GUI Testing of an Android Application. | Tommi Takala, Mika Katara, Julian Harty |
| 2011 | Why are Bug Reports Invalid? | Jian Sun |
| 2011 | Test-Oriented Languages: Is it Time for a New Era? | Benjamin Stopford |
| 2011 | Towards Search-Based Testing for Event-B Models. | Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose |
| 2011 | A Study of Usage-Based Navigation Models and Generated Abstract Test Cases for Web Applications. | Sara Sprenkle, Lori L. Pollock, Lucy Simko |
| 2011 | Using SQL Hotspots in a Prioritization Heuristic for Detecting All Types of Web Application Vulnerabilities. | Ben H. Smith, Laurie A. Williams |
| 2011 | An Empirical Evaluation of Assertions as Oracles. | Kavir Shrestha, Matthew J. Rutherford |
| 2011 | EFindBugs: Effective Error Ranking for FindBugs. | Haihao Shen, Jianhong Fang, Jianjun Zhao |
| 2011 | Breeding High-Impact Mutations. | Birgit Schwarz, David Schuler, Andreas Zeller |
| 2011 | Assessing Oracle Quality with Checked Coverage. | David Schuler, Andreas Zeller |
| 2011 | Applying aggressive propagation-based strategies for testing changes. | Ral A. Santelices, Mary Jean Harrold |
| 2011 | Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams. | Elke Salecker, Robert Reicherdt, Sabine Glesner |
| 2011 | Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems. | Ahmad A. Saifan, Jrgen Dingel, Jeremy S. Bradbury, Ernesto Posse |
| 2011 | An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON. | Carsten Rtz, Julien Schmaltz |
| 2011 | Employing Privacy-Preserving Techniques to Protect Control-Flow Graphs in a Decentralized, End-to-End Regression Test Selection Framework for Web Services. | Michael Ruth |
| 2011 | Runtime Verification of Linux Kernel Modules Based on Call Interception. | Vladimir V. Rubanov, Eugene A. Shatokhin |
| 2011 | When Does My Program Fail? | Jeremias Rler, Alessandro Orso, Andreas Zeller |
| 2011 | An Approach for Search Based Testing of Null Pointer Exceptions. | Daniele Romano, Massimiliano Di Penta, Giuliano Antoniol |
| 2011 | Customer-Oriented Regression Testing: An Initial Discussion. | Brian Robinson, Xiao Qu |
| 2011 | Test Case Generation from Mutants Using Model Checking Techniques. | Heinz Riener, Roderick Bloem, Grschwin Fey |
| 2011 | Offset-Aware Mutation Based Fuzzing for Buffer Overflow Vulnerabilities: Few Preliminary Results. | Sanjay Rawat, Laurent Mounier |