| 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 | A variability-based testing approach for synthesizing video sequences. José Angel Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, David Benavides |
| 2014 | ARC++: effective typestate and lifetime dependency analysis. Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri |
| 2014 | An empirical study of injected versus actual interface errors. Anna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, Neeraj Suri |
| 2014 | Automated testing for SQL injection vulnerabilities: an input mutation approach. Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand, Nadia Alshahwan |
| 2014 | Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability. Yiyan Lin, Sandeep S. Kulkarni |
| 2014 | Canalyze: a static bug-finding tool for C programs. Zhenbo Xu, Jian Zhang, Zhongxing Xu, Jiteng Wang |
| 2014 | CoREBench: studying complexity of regression errors. Marcel Böhme, Abhik Roychoudhury |
| 2014 | Constructing coding duels in Pex4Fun and code hunt. Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop |
| 2014 | Coverage and fault detection of the output-uniqueness test selection criteria. Nadia Alshahwan, Mark Harman |
| 2014 | Covrig: a framework for the analysis of code, test, and coverage evolution in real software. Paul Dan Marinescu, Petr Hosek, Cristian Cadar |
| 2014 | CrashLocator: locating crashing faults based on crash stacks. Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, Sunghun Kim |
| 2014 | Cross-platform feature matching for web applications. Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |
| 2014 | DOM-based test adequacy criteria for web applications. Mehdi MirzaAghaei, Ali Mesbah |
| 2014 | Defects4J: a database of existing faults to enable controlled testing studies for Java programs. René Just, Darioush Jalali, Michael D. Ernst |
| 2014 | Dodona: automated oracle data set selection. Pablo S. Loyola, Matt Staats, In-Young Ko, Gregg Rothermel |
| 2014 | Effective test generation and adequacy assessment for JavaScript-based web applications. Shabnam Mirshokraie |
| 2014 | Efficient mutation analysis by propagating and partitioning infected execution states. René Just, Michael D. Ernst, Gordon Fraser |
| 2014 | Efficient predicated bug signature mining via hierarchical instrumentation. Zhiqiang Zuo, Siau-Cheng Khoo, Chengnian Sun |
| 2014 | Efficient statistical debugging via hierarchical instrumentation. Zhiqiang Zuo |
| 2014 | Empirically revisiting the test independence assumption. Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivanç Muslu, Wing Lam, Michael D. Ernst, David Notkin |
| 2014 | Extending a search-based test generator with adaptive dynamic symbolic execution. Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri |
| 2014 | FLOWER: optimal test suite reduction as a network maximum flow. Arnaud Gotlieb, Dusica Marijan |
| 2014 | Feedback-driven dynamic invariant discovery. Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid |
| 2014 | Hybrid security analysis of web JavaScript code via dynamic partial evaluation. Omer Tripp, Pietro Ferrara, Marco Pistoia |
| 2014 | Identifying optimal trade-offs between CPU time usage and temporal constraints using search. Shiva Nejati, Lionel C. Briand |
| 2014 | Integrated energy-directed test suite optimization. Ding Li, Yuchen Jin, Cagri Sahin, James Clause, William G. J. Halfond |
| 2014 | International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014 Corina S. Pasareanu, Darko Marinov |
| 2014 | Legend: an agile DSL toolset for web acceptance testing. Tariq M. King, Gabriel Nunez, Dionny Santiago, Adam Cando, Cody Mack |
| 2014 | Lightweight automated detection of unsafe information leakage via exceptions. Benwen Zhang, James Clause |
| 2014 | Link: exploiting the web of data to generate test inputs. Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro |
| 2014 | Make it work, make it right, make it fast: building a platform-neutral whole-system dynamic binary analysis platform. Andrew Henderson, Aravind Prakash, Lok-Kwong Yan, Xunchao Hu, Xujiewen Wang, Rundong Zhou, Heng Yin |
| 2014 | MuCheck: an extensible tool for mutation testing of haskell programs. Duc Le, Mohammad Amin Alipour, Rahul Gopinath, Alex Groce |
| 2014 | Performance regression testing of concurrent classes. Michael Pradel, Markus Huggler, Thomas R. Gross |
| 2014 | ProCrawl: mining test models from multi-user web applications. Matthias Schur, Andreas Roth, Andreas Zeller |
| 2014 | Reducing GUI test suites via program slicing. Stephan Arlt, Andreas Podelski, Martin Wehrle |
| 2014 | Reusing constraint proofs for scalable program analysis. Meixian Chen |
| 2014 | Robust test automation using contextual clues. Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra |
| 2014 | Runtime prevention of concurrency related type-state violations in multithreaded applications. Lu Zhang, Chao Wang |
| 2014 | Scalable detection of missed cross-function refactorings. Narcisa Andreea Milea, Lingxiao Jiang, Siau-Cheng Khoo |
| 2014 | Semantic differential repair for input validation and sanitization. Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan |
| 2014 | SunCat: helping developers understand and predict performance problems in smartphone applications. Adrian Nistor, Lenin Ravindranath |
| 2014 | Tailored source code transformations to synthesize computationally diverse program variants. Benoit Baudry, Simon Allier, Martin Monperrus |
| 2014 | The major mutation framework: efficient and scalable mutation analysis for Java. René Just |
| 2014 | Using test case reduction and prioritization to improve symbolic execution. Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour |
| 2014 | Verification-aided regression testing. Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad |
| 2014 | Verifying atomicity via data independence. Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev |
| 2014 | Virtual DOM coverage for effective testing of dynamic web applications. Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, Zebao Gao |
| 2014 | X-PERT: a web application testing tool for cross-browser inconsistency detection. Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |