| 2017 | A suite of tools for making effective use of automatically generated tests. Josie Holmes, Alex Groce |
| 2017 | Accelerating array constraints in symbolic execution. David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar |
| 2017 | An actionable performance profiler for optimizing the order of evaluations. Marija Selakovic, Thomas Glaser, Michael Pradel |
| 2017 | ArtForm: a tool for exploring the codebase of form-based websites. Ben Spencer, Michael Benedikt, Anders Møller, Franck van Breugel |
| 2017 | Automated layout failure detection for responsive web pages without an explicit oracle. Thomas A. Walsh, Gregory M. Kapfhammer, Phil McMinn |
| 2017 | Automated repair of layout cross browser issues using search-based techniques. Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond |
| 2017 | Automatic detection and validation of race conditions in interrupt-driven embedded software. Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li |
| 2017 | Automatically inferring and enforcing user expectations. Jenny Hotzkow |
| 2017 | Boosting spectrum-based fault localization using PageRank. Mengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid |
| 2017 | Boosting the precision of virtual call integrity protection with partial pointer analysis for C++. Xiaokang Fan, Yulei Sui, Xiangke Liao, Jingling Xue |
| 2017 | CPR: cross platform binary code reuse via platform independent trace program. Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang, Dongyan Xu |
| 2017 | CUT: automatic unit testing in the cloud. Alessio Gambi, Sebastian Kappler, Johannes Lampel, Andreas Zeller |
| 2017 | Caret-HM: recording and replaying Android user sessions with heat map generation using UI state clustering. Dmitry Nurmuradov, Renée C. Bryce |
| 2017 | Combining symbolic execution and search-based testing for programs with complex heap inputs. Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè |
| 2017 | Compiler-assisted test acceleration on GPUs for embedded software. Vanya Yaneva, Ajitha Rajan, Christophe Dubach |
| 2017 | Consistency checking in requirements analysis. Jaroslav Bendík |
| 2017 | Data flow oriented UI testing: exploiting data flows and UI elements to test Android applications. Nataniel P. Borges Jr. |
| 2017 | Dynamic tainting for automatic test case generation. Björn Mathis |
| 2017 | Effective online software anomaly detection. Yizhen Chen, Ming Ying, Daren Liu, Adil Alim, Feng Chen, Mei-Hwa Chen |
| 2017 | Efficient computation of happens-before relation for event-driven programs. Pallavi Maiya, Aditya Kanade |
| 2017 | Experience paper: a study on behavioral backward incompatibilities of Java software libraries. Shaikh Mostafa, Rodney Rodriguez, Xiaoyin Wang |
| 2017 | FLUCCS: using code and change metrics to improve fault localization. Jeongju Sohn, Shin Yoo |
| 2017 | Faster mutation analysis via equivalence modulo states. Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao |
| 2017 | Generating unit tests with descriptive names or: would you name your children thing1 and thing2? Ermira Daka, José Miguel Rojas, Gordon Fraser |
| 2017 | GitcProc: a tool for processing and classifying GitHub commits. Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, Cindy Rubio-González |
| 2017 | Identifying test-suite-overfitted patches through test case generation. Qi Xin, Steven P. Reiss |
| 2017 | Impact of tool support in patch construction. Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, Yves Le Traon |
| 2017 | Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics. Wei Sun, Lisong Xu, Sebastian G. Elbaum |
| 2017 | Inferring mutant utility from program context. René Just, Bob Kurtz, Paul Ammann |
| 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 | Just-in-time static analysis. Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill |
| 2017 | LabPal: repeatable computer experiments made easy. Sylvain Hallé |
| 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 | Monitoring decentralized specifications. Antoine El-Hokayem, Yliès Falcone |
| 2017 | One test to rule them all. Alex Groce, Josie Holmes, Kevin Kellar |
| 2017 | Oracle problem in software testing. Gunel Jahangirova |
| 2017 | ParTeCL: parallel testing using OpenCL. Vanya Yaneva, Ajitha Rajan, Christophe Dubach |
| 2017 | Path cost analysis for side channel detection. Tegan Brennan |
| 2017 | PerfRanker: prioritization of performance regression tests for collection-intensive software. Shaikh Mostafa, Xiaoyin Wang, Tao Xie |
| 2017 | Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool. John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum |
| 2017 | Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017 Tevfik Bultan, Koushik Sen |
| 2017 | ReDeCheck: an automatic layout failure checking tool for responsively designed web pages. Thomas A. Walsh, Gregory M. Kapfhammer, Phil McMinn |
| 2017 | Refining interprocedural change-impact analysis using equivalence relations. Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush |
| 2017 | Reinforcement learning for automatic test case prioritization and selection in continuous integration. Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige |
| 2017 | SealTest: a simple library for test sequence generation. Sylvain Hallé, Raphaël Khoury |
| 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 | THEMIS: a tool for decentralized monitoring algorithms. Antoine El-Hokayem, Yliès Falcone |
| 2017 | Targeted property-based testing. Andreas Löscher, Konstantinos Sagonas |
| 2017 | Test execution checkpointing for web applications. Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin |
| 2017 | Testing and analysis of web applications using page models. Snigdha Athaiya |
| 2017 | Testing and analysis of web applications using page models. Snigdha Athaiya, Raghavan Komondoor |
| 2017 | Understanding intended behavior using models of low-level signals. Deborah S. Katz |
| 2017 | Verifying digital systems with MATLAB. Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho |
| 2017 | Version space learning for verification on temporal differentials. Mark Santolucito |
| 2017 | XFix: an automated tool for the repair of layout cross browser issues. Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond |