| 2018 | Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. Jan Fiedor, Monika Muzikovská, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar |
| 2018 | An empirical study on TensorFlow program bugs. Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang |
| 2018 | Analyzing the analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe. Lina Qiu, Yingying Wang, Julia Rubin |
| 2018 | Automated test mapping and coverage for network topologies. Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, Wasif Afzal |
| 2018 | Automatically translating bug reports into test cases for mobile apps. Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, Alessandro Orso |
| 2018 | Badger: complexity analysis with fuzzing and symbolic execution. Yannic Noller, Rody Kersten, Corina S. Pasareanu |
| 2018 | Bench4BL: reproducibility study on the performance of IR-based bug localization. Jaekwon Lee, Dongsun Kim, Tegawendé F. Bissyandé, Woosung Jung, Yves Le Traon |
| 2018 | CiD: automating the detection of API-related compatibility issues in Android apps. Li Li, Tegawendé F. Bissyandé, Haoyu Wang, Jacques Klein |
| 2018 | Comparing developer-provided to user-provided tests for fault localization and automated program repair. René Just, Chris Parnin, Ian Drosos, Michael D. Ernst |
| 2018 | Compiler fuzzing through deep learning. Chris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather |
| 2018 | Deep specification mining. Tien-Duy B. Le, David Lo |
| 2018 | Eliminating timing side-channel leaks using program repair. Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang |
| 2018 | Evaluating test-suite reduction in real software evolution. August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov |
| 2018 | Exploiting community structure for floating-point precision tuning. Hui Guo, Cindy Rubio-González |
| 2018 | Identifying implementation bugs in machine learning based image classifiers using metamorphic testing. Anurag Dwarakanath, Manish Ahuja, Samarth Sikand, Raghotham M. Rao, R. P. Jagadeesh Chandra Bose, Neville Dubash, Sanjay Podder |
| 2018 | LAND: a user-friendly and customizable test generation tool for Android apps. Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, Jian Zhang |
| 2018 | Lightweight verification of array indexing. Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst |
| 2018 | Making data-driven porting decisions with Tuscan. Kareem Khazem, Earl T. Barr, Petr Hosek |
| 2018 | MalViz: an interactive visualization tool for tracing malware. Vinh The Nguyen, Akbar Siami Namin, Tommy Dang |
| 2018 | Managing concurrent testing of data race with ComRaDe. Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, Ming Gu |
| 2018 | Mutode: generic JavaScript and Node.js mutation testing tool. Diego Rodríguez-Baquero, Mario Linares Vásquez |
| 2018 | OASIs: oracle assessment and improvement tool. Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella |
| 2018 | PerfFuzz: automatically generating pathological inputs. Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song |
| 2018 | Practical detection of concurrency issues at coding time. Luc Bläser |
| 2018 | Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018 Frank Tip, Eric Bodden |
| 2018 | Remove RATs from your code: automated optimization of resource inefficient database writes for mobile applications. Yingjun Lyu, Ding Li, William G. J. Halfond |
| 2018 | Repositioning of static analysis alarms. Tukaram Muske, Rohith Talluri, Alexander Serebrenik |
| 2018 | Safe and sound program analysis with Flix. Magnus Madsen, Ondrej Lhoták |
| 2018 | Search-based detection of deviation failures in the migration of legacy spreadsheet applications. Mohammad Moein Almasi, Hadi Hemmati, Gordon Fraser, Phil McMinn, Janis Benefelds |
| 2018 | Shaping program repair space with existing patches and similar code. Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen |
| 2018 | Shooting from the heap: ultra-scalable static analysis with heap snapshots. Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis |
| 2018 | Static analysis of Java dynamic proxies. George Fourtounis, George Kastrinis, Yannis Smaragdakis |
| 2018 | Symbolic path cost analysis for side-channel detection. Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu |
| 2018 | Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach. Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer |
| 2018 | Test input generation with Java PathFinder: then and now (invited talk abstract). Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser |
| 2018 | Test migration for efficient large-scale assessment of mobile app coding assignments. Farnaz Behrang, Alessandro Orso |
| 2018 | Tests from traces: automated unit test extraction for R. Filip Krikava, Jan Vitek |
| 2018 | Translating code comments to procedure specifications. Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Sergio Delgado Castellanos |
| 2018 | piCoq: parallel regression proving for large-scale verification projects. Karl Palmskog, Ahmet Çelik, Milos Gligoric |