| 2017 | CUT: automatic unit testing in the cloud. | Alessio Gambi, Sebastian Kappler, Johannes Lampel, Andreas Zeller |
| 2017 | Boosting the precision of virtual call integrity protection with partial pointer analysis for C++. | Xiaokang Fan, Yulei Sui, Xiangke Liao, Jingling Xue |
| 2017 | THEMIS: a tool for decentralized monitoring algorithms. | Antoine El-Hokayem, Ylis Falcone |
| 2017 | Monitoring decentralized specifications. | Antoine El-Hokayem, Ylis Falcone |
| 2017 | Just-in-time static analysis. | Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill |
| 2017 | Generating unit tests with descriptive names or: would you name your children thing1 and thing2? | Ermira Daka, Jos Miguel Rojas, Gordon Fraser |
| 2017 | Effective online software anomaly detection. | Yizhen Chen, Ming Ying, Daren Liu, Adil Alim, Feng Chen, Mei-Hwa Chen |
| 2017 | Verifying digital systems with MATLAB. | Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho |
| 2017 | GitcProc: a tool for processing and classifying GitHub commits. | Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, Cindy Rubio-Gonzlez |
| 2017 | Path cost analysis for side channel detection. | Tegan Brennan |
| 2017 | Combining symbolic execution and search-based testing for programs with complex heap inputs. | Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezz |
| 2017 | Data flow oriented UI testing: exploiting data flows and UI elements to test Android applications. | Nataniel P. Borges Jr. |
| 2017 | Consistency checking in requirements analysis. | Jaroslav Bendk |
| 2017 | Testing and analysis of web applications using page models. | Snigdha Athaiya, Raghavan Komondoor |
| 2017 | Testing and analysis of web applications using page models. | Snigdha Athaiya |
| 2016 | Predictive mutation testing. | Jie Zhang, Ziyi Wang, Lingming Zhang, Dan Hao, Lei Zang, Shiyang Cheng, Lu Zhang |
| 2016 | Optimal sanitization synthesis for web application vulnerability repair. | Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan |
| 2016 | SyncProf: detecting, localizing, and optimizing synchronization bottlenecks. | Tingting Yu, Michael Pradel |
| 2016 | FSX: fine-grained incremental unit test generation for C/C++ programs. | Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara |
| 2016 | ARROW: automated repair of races on client-side web pages. | Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster |
| 2016 | Documenting database usages and schema constraints in database-centric applications. | Mario Linares Vsquez, Boyang Li, Christopher Vendome, Denys Poshyvanyk |
| 2016 | CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites. | Valerio Terragni, Yepang Liu, Shing-Chi Cheung |
| 2016 | Toward understanding compiler bugs in GCC and LLVM. | Chengnian Sun, Vu Le, Qirun Zhang, Zhendong Su |
| 2016 | DICE fault injection tool. | Craig Sheridan, Darren Whigham, Matej Artac |
| 2016 | Unveiling anomalies and their impact on software quality in model-based automotive software revisions with software metrics and domain experts. | Jan Schroeder, Christian Berger, Miroslaw Staron, Thomas Herpel, Alessia Knauss |