| 2011 | Recovering the toolchain provenance of binary code. | Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu |
| 2011 | Detecting anomalies in the order of equally-typed method arguments. | Michael Pradel, Thomas R. Gross |
| 2011 | Practical verification of high-level dataraces in transactional memory programs. | Vasco Pessanha, Ricardo J. Dias, Joo Loureno, Eitan Farchi, Diogo Sousa |
| 2011 | Symbolic execution with mixed concrete-symbolic solving. | Corina S. Pasareanu, Neha Rungta, Willem Visser |
| 2011 | Are automated debugging techniques actually helping programmers? | Chris Parnin, Alessandro Orso |
| 2011 | Detecting algorithms using dynamic analysis. | Kenneth Oksanen |
| 2011 | Bounded verification of Ruby on Rails data models. | Jaideep Nijjar, Tevfik Bultan |
| 2011 | The use of mutation in testing experiments and its sensitivity to external threats. | Akbar Siami Namin, Sahitya Kakarla |
| 2011 | Scalable analysis of conceptual data models. | Matthew J. McGill, Laura K. Dillon, R. E. Kurt Stirewalt |
| 2011 | Java replay for dependence-based debugging. | Jan Lnnberg, Mordechai Ben-Ari, Lauri Malmi |
| 2011 | Generating analyses for detecting faults in path segments. | Wei Le, Mary Lou Soffa |
| 2011 | Change-aware preemption prioritization. | Vilas Jagannath, Qingzhou Luo, Darko Marinov |
| 2011 | Refactoring Java programs using concurrent libraries. | Kazuaki Ishizaki, Shahrokh Daijavad, Toshio Nakatani |
| 2011 | A method facilitating integration testing of embedded software. | Dominik Hura, Michal Dimmich |
| 2011 | Persuasive prediction of concurrency access anomalies. | Jeff Huang, Charles Zhang |
| 2011 | Custom-made instrumentation based on static analysis. | Tobias Gutzmann, Welf Lwe |
| 2011 | Using automatic persistent memoization to facilitate data analysis scripting. | Philip J. Guo, Dawson R. Engler |
| 2011 | Sloppy Python: using dynamic analysis to automatically add error tolerance to ad-hoc data processing scripts. | Philip J. Guo |
| 2011 | Saving the world wide web from vulnerable JavaScript. | Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg |
| 2011 | Automatic partial loop summarization in dynamic test generation. | Patrice Godefroid, Daniel Luchaup |
| 2011 | CoDeSe: fast deserialization via code generation. | Milos Gligoric, Darko Marinov, Sam Kamin |
| 2011 | Generating parameterized unit tests. | Gordon Fraser, Andreas Zeller |
| 2011 | Extending a distributed loop network to tolerate node failures. | Abdel Aziz Farrag |
| 2011 | Deterministic replay for MCAPI programs. | Mohamed Elwakil, Zijiang Yang |
| 2011 | Feedback driven adaptive combinatorial testing. | Emine Dumlu, Cemal Yilmaz, Myra B. Cohen, Adam A. Porter |