| 2017 | Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool. | John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum |
| 2017 | Lightweight detection of physical unit inconsistencies without program annotations. | John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum |
| 2017 | Mapping hardness of automated software testing. | Carlos Oliveira |
| 2017 | Caret-HM: recording and replaying Android user sessions with heat map generation using UI state clustering. | Dmitry Nurmuradov, Rene C. Bryce |
| 2017 | PerfRanker: prioritization of performance regression tests for collection-intensive software. | Shaikh Mostafa, Xiaoyin Wang, Tao Xie |
| 2017 | Experience paper: a study on behavioral backward incompatibilities of Java software libraries. | Shaikh Mostafa, Rodney Rodriguez, Xiaoyin Wang |
| 2017 | Dynamic tainting for automatic test case generation. | Bjrn Mathis |
| 2017 | Efficient computation of happens-before relation for event-driven programs. | Pallavi Maiya, Aditya Kanade |
| 2017 | XFix: an automated tool for the repair of layout cross browser issues. | Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond |
| 2017 | Automated repair of layout cross browser issues using search-based techniques. | Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond |
| 2017 | Targeted property-based testing. | Andreas Lscher, Konstantinos Sagonas |
| 2017 | JFIX: semantics-based repair of Java programs via symbolic PathFinder. | Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser |
| 2017 | CPR: cross platform binary code reuse via platform independent trace program. | Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang, Dongyan Xu |
| 2017 | Impact of tool support in patch construction. | Anil Koyuncu, Tegawend F. Bissyand, Dongsun Kim, Jacques Klein, Martin Monperrus, Yves Le Traon |
| 2017 | Semi-automated discovery of server-based information oversharing vulnerabilities in Android applications. | William Koch, Abdelberi Chaabane, Manuel Egele, William K. Robertson, Engin Kirda |
| 2017 | Understanding intended behavior using models of low-level signals. | Deborah S. Katz |
| 2017 | Inferring mutant utility from program context. | Ren Just, Bob Kurtz, Paul Ammann |
| 2017 | Oracle problem in software testing. | Gunel Jahangirova |
| 2017 | Automatically inferring and enforcing user expectations. | Jenny Hotzkow |
| 2017 | A suite of tools for making effective use of automatically generated tests. | Josie Holmes, Alex Groce |
| 2017 | SealTest: a simple library for test sequence generation. | Sylvain Hall, Raphal Khoury |
| 2017 | LabPal: repeatable computer experiments made easy. | Sylvain Hall |
| 2017 | Refining interprocedural change-impact analysis using equivalence relations. | Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush |
| 2017 | Test execution checkpointing for web applications. | Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin |
| 2017 | One test to rule them all. | Alex Groce, Josie Holmes, Kevin Kellar |