| 2018 | Safe and sound program analysis with Flix. | Magnus Madsen, Ondrej Lhotk |
| 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 | PerfFuzz: automatically generating pathological inputs. | Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song |
| 2018 | Deep specification mining. | Tien-Duy B. Le, David Lo |
| 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 | Tests from traces: automated unit test extraction for R. | Filip Krikava, Jan Vitek |
| 2018 | Test input generation with Java PathFinder: then and now (invited talk abstract). | Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser |
| 2018 | Making data-driven porting decisions with Tuscan. | Kareem Khazem, Earl T. Barr, Petr Hosek |
| 2018 | Lightweight verification of array indexing. | Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst |
| 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 | An exercise in verifying sequential programs with VerCors. | Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman |
| 2018 | Shaping program repair space with existing patches and similar code. | Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen |
| 2018 | OASIs: oracle assessment and improvement tool. | Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella |
| 2018 | Exploiting community structure for floating-point precision tuning. | Hui Guo, Cindy Rubio-Gonzlez |
| 2018 | Shooting from the heap: ultra-scalable static analysis with heap snapshots. | Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis |
| 2018 | AFFOGATO: runtime detection of injection attacks for Node.js. | Franois Gauthier, Behnaz Hassanshahi, Alexander Jordan |
| 2018 | Managing concurrent testing of data race with ComRaDe. | Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, Ming Gu |
| 2018 | Static analysis of Java dynamic proxies. | George Fourtounis, George Kastrinis, Yannis Smaragdakis |
| 2018 | Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. | Jan Fiedor, Monika Muzikovsk, Ales Smrcka, Ondrej Vascek, Toms Vojnar |
| 2018 | Automatically translating bug reports into test cases for mobile apps. | Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, Alessandro Orso |
| 2018 | Lattice based modularization of static analyses. | Michael Eichberg, Florian Kbler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini |
| 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 | Compiler fuzzing through deep learning. | Chris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather |
| 2018 | Reasoning about functional programming in Java and C++. | David R. Cok |
| 2018 | Monotonic gradual typing in a common calculus. | Benjamin Chung, Jan Vitek |