| 2012 | Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level. | Jan Fiedor, Toms Vojnar |
| 2012 | Using program closures to make an application programming interface (API) implementation thread safe. | Eitan Farchi, Itai Segall, Joo Loureno, Diogo Sousa |
| 2012 | Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say. | Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Jeremy G. Siek |
| 2012 | A quantitative study of accuracy in system call-based malware detection. | Davide Canali, Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, Engin Kirda |
| 2012 | Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities. | Juan Caballero, Gustavo Grieco, Mark Marron, Antonio Nappa |
| 2012 | Dynamic cost verification for cloud applications. | Kevin Buell, James S. Collofello |
| 2012 | Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools. | Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk |
| 2012 | Communication-aware HW/SW co-design for heterogeneous multicore platforms. | Imran Ashraf, Sayyed Arash Ostadzadeh, Roel Meeuws, Koen Bertels |
| 2012 | State aware test case regeneration for improving web application test suite coverage and fault detection. | Nadia Alshahwan, Mark Harman |
| 2012 | ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies. | Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazzini, Tevfik Bultan, Alessandro Orso, Christopher Kruegel |
| 2012 | Extended program invariants: applications in testing and fault localization. | Mohammad Amin Alipour, Alex Groce |
| 2011 | Characterizing failure-causing parameter interactions by adaptive testing. | Zhiqiang Zhang, Jian Zhang |
| 2011 | Combined static and dynamic automated test generation. | Sai Zhang, David Saff, Yingyi Bu, Michael D. Ernst |
| 2011 | Automated framework for formal operator task analysis. | Ayesha Yasmeen, Elsa L. Gunter |
| 2011 | Demand-driven context-sensitive alias analysis for Java. | Dacong Yan, Guoqing Xu, Atanas Rountev |
| 2011 | Geometric encoding: forging the high performance context sensitive points-to analysis for Java. | Xiao Xiao, Charles Zhang |
| 2011 | Executing association rule mining algorithms under a Grid computing environment. | Raja Tlili, Yahya Slimani |
| 2011 | Path- and index-sensitive string analysis based on monadic second-order logic. | Takaaki Tateishi, Marco Pistoia, Omer Tripp |
| 2011 | eXpress: guided path exploration for efficient regression test generation. | Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
| 2011 | Selecting peers for execution comparison. | William N. Sumner, Tao Bao, Xiangyu Zhang |
| 2011 | Research in concurrent software testing: a systematic review. | Simone do Rcio Senger de Souza, Maria A. S. Brito, Rodolfo A. Silva, Paulo Sergio Lopes de Souza, Ed Zaluska |
| 2011 | Iterative refinement of specification for component based embedded systems. | Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach |
| 2011 | Using binary decision diagrams for combinatorial test design. | Itai Segall, Rachel Tzoref-Brill, Eitan Farchi |
| 2011 | Retroactive aspects: programming in the past. | Robin Salkeld, Wenhao Xu, Brendan Cully, Geoffrey Lefebvre, Andrew Warfield, Gregor Kiczales |
| 2011 | Defective error/pointer interactions in the Linux kernel. | Cindy Rubio-Gonzlez, Ben Liblit |