| 2014 | Feedback-driven dynamic invariant discovery. | Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid |
| 2014 | Runtime prevention of concurrency related type-state violations in multithreaded applications. | Lu Zhang, Chao Wang |
| 2014 | Empirically revisiting the test independence assumption. | Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivan Muslu, Wing Lam, Michael D. Ernst, David Notkin |
| 2014 | Using test case reduction and prioritization to improve symbolic execution. | Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour |
| 2014 | Lightweight automated detection of unsafe information leakage via exceptions. | Benwen Zhang, James Clause |
| 2014 | Robust test automation using contextual clues. | Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra |
| 2014 | Canalyze: a static bug-finding tool for C programs. | Zhenbo Xu, Jian Zhang, Zhongxing Xu, Jiteng Wang |
| 2014 | Language, compiler, and runtime system support towards highly scalable big data application (invited talk abstract). | Guoqing Xu |
| 2014 | Automated test generation for API proxy code (invited talk abstract). | Qing Xie |
| 2014 | ARC++: effective typestate and lifetime dependency analysis. | Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri |
| 2014 | Context-sensitive delta inference for identifying workload-dependent performance bottlenecks (invited talk abstract). | Xusheng Xiao |
| 2014 | CrashLocator: locating crashing faults based on crash stacks. | Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, Sunghun Kim |
| 2014 | A format string checker for Java. | Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, Michael D. Ernst |
| 2014 | A type system for format strings. | Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst |
| 2014 | Hybrid security analysis of web JavaScript code via dynamic partial evaluation. | Omer Tripp, Pietro Ferrara, Marco Pistoia |
| 2014 | Constructing coding duels in Pex4Fun and code hunt. | Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop |
| 2014 | A framework-based approach for automated testing of CNC firmware. | Marcus Thoss, Kai Beckmann, Reinhold Krger, Marco Muenchhof, Christian Mellert |
| 2014 | Modeling mobile application test platform and environment: testing criteria and complexity analysis. | Chuanqi Tao, Jerry Zeyu Gao |
| 2014 | Effective race detection for event-driven programs (invited talk abstract). | Manu Sridharan |
| 2014 | Verifying atomicity via data independence. | Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev |
| 2014 | ProCrawl: mining test models from multi-user web applications. | Matthias Schur, Andreas Roth, Andreas Zeller |
| 2014 | Intent fuzzer: crafting intents of death. | Raimondas Sasnauskas, John Regehr |
| 2014 | Usable program analysis at google-scale (invited talk abstract). | Caitlin Sadowski |
| 2014 | P: a domain-specific language for asynchronous event-driven programming (invited talk abstract). | Shaz Qadeer |
| 2014 | Performance regression testing of concurrent classes. | Michael Pradel, Markus Huggler, Thomas R. Gross |