| 2011 | Adaptive random testing: an illusion of effectiveness? Andrea Arcuri, Lionel C. Briand |
| 2011 | Are automated debugging techniques actually helping programmers? Chris Parnin, Alessandro Orso |
| 2011 | Automated framework for formal operator task analysis. Ayesha Yasmeen, Elsa L. Gunter |
| 2011 | Automatic partial loop summarization in dynamic test generation. Patrice Godefroid, Daniel Luchaup |
| 2011 | Bounded verification of Ruby on Rails data models. Jaideep Nijjar, Tevfik Bultan |
| 2011 | Change-aware preemption prioritization. Vilas Jagannath, Qingzhou Luo, Darko Marinov |
| 2011 | Characterizing failure-causing parameter interactions by adaptive testing. Zhiqiang Zhang, Jian Zhang |
| 2011 | CoDeSe: fast deserialization via code generation. Milos Gligoric, Darko Marinov, Sam Kamin |
| 2011 | Combined static and dynamic automated test generation. Sai Zhang, David Saff, Yingyi Bu, Michael D. Ernst |
| 2011 | Defective error/pointer interactions in the Linux kernel. Cindy Rubio-González, Ben Liblit |
| 2011 | Demand-driven context-sensitive alias analysis for Java. Dacong Yan, Guoqing Xu, Atanas Rountev |
| 2011 | Detecting anomalies in the order of equally-typed method arguments. Michael Pradel, Thomas R. Gross |
| 2011 | Efficient, sensitivity resistant binary instrumentation. Andrew R. Bernat, Kevin A. Roundy, Barton P. Miller |
| 2011 | Feedback driven adaptive combinatorial testing. Emine Dumlu, Cemal Yilmaz, Myra B. Cohen, Adam A. Porter |
| 2011 | Generating analyses for detecting faults in path segments. Wei Le, Mary Lou Soffa |
| 2011 | Generating parameterized unit tests. Gordon Fraser, Andreas Zeller |
| 2011 | Geometric encoding: forging the high performance context sensitive points-to analysis for Java. Xiao Xiao, Charles Zhang |
| 2011 | High coverage testing of Haskell programs. Tristan Oliver Richard Allwood, Cristian Cadar, Susan Eisenbach |
| 2011 | Iterative refinement of specification for component based embedded systems. Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach |
| 2011 | Minimizing reproduction of software failures. Martin Burger, Andreas Zeller |
| 2011 | On the influence of multiple faults on coverage-based fault localization. Nicholas DiGiuseppe, James A. Jones |
| 2011 | Path- and index-sensitive string analysis based on monadic second-order logic. Takaaki Tateishi, Marco Pistoia, Omer Tripp |
| 2011 | Persuasive prediction of concurrency access anomalies. Jeff Huang, Charles Zhang |
| 2011 | Polyglot: modeling and analysis for multiple Statechart formalisms. Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry |
| 2011 | Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011 Matthew B. Dwyer, Frank Tip |
| 2011 | Recovering the toolchain provenance of binary code. Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu |
| 2011 | Saving the world wide web from vulnerable JavaScript. Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg |
| 2011 | Scalable analysis of conceptual data models. Matthew J. McGill, Laura K. Dillon, R. E. Kurt Stirewalt |
| 2011 | Selecting peers for execution comparison. William N. Sumner, Tao Bao, Xiangyu Zhang |
| 2011 | Statically-directed dynamic automated test generation. Domagoj Babic, Lorenzo Martignoni, Stephen McCamant, Dawn Song |
| 2011 | Symbolic execution with mixed concrete-symbolic solving. Corina S. Pasareanu, Neha Rungta, Willem Visser |
| 2011 | Testing concurrent programs on relaxed memory models. Jacob Burnim, Koushik Sen, Christos Stergiou |
| 2011 | The use of mutation in testing experiments and its sensitivity to external threats. Akbar Siami Namin, Sahitya Kakarla |
| 2011 | Using automatic persistent memoization to facilitate data analysis scripting. Philip J. Guo, Dawson R. Engler |
| 2011 | Using binary decision diagrams for combinatorial test design. Itai Segall, Rachel Tzoref-Brill, Eitan Farchi |
| 2011 | eXpress: guided path exploration for efficient regression test generation. Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |