| 2018 | Analysing the effect of uncertainty in airport surface operations. | Heron Yang, Robert Morris, Corina S. Pasareanu |
| 2018 | Eliminating timing side-channel leaks using program repair. | Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang |
| 2018 | Static latency tracking with placement types. | Pascal Weisenburger, Tobias Reinhard, Guido Salvaneschi |
| 2018 | Incremental overload resolution in object-oriented programming languages. | Tams Szab, Edlira Kuci, Matthijs Bijman, Mira Mezini, Sebastian Erdweg |
| 2018 | Subtype polymorphism la carte via machine learning on dependent types. | Jerry Swan, Colin G. Johnson, Edwin C. Brady |
| 2018 | Automated test mapping and coverage for network topologies. | Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, Wasif Afzal |
| 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 | Evaluating test-suite reduction in real software evolution. | August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov |
| 2018 | Redesigning Soot's data-flow analysis framework for abstract interpretation. | Elena Sherman |
| 2018 | Iceberg: dynamic analysis of Java synchronized methods for investigating runtime performance variability. | Michael D. Shah, Samuel Z. Guyer |
| 2018 | Electromagnetic side-channel attacks: potential for progressing hindered digital forensic analysis. | Asanka P. Sayakkara, Nhien-An Le-Khac, Mark Scanlon |
| 2018 | Mutode: generic JavaScript and Node.js mutation testing tool. | Diego Rodrguez-Baquero, Mario Linares Vsquez |
| 2018 | Is this the lifecycle we really want?: an automated black-box testing approach for Android activities. | Vincenzo Riccio, Domenico Amalfitano, Anna Rita Fasolino |
| 2018 | Systematic evaluation of the unsoundness of call graph construction algorithms for Java. | Michael Reif, Florian Kbler, Michael Eichberg, Mira Mezini |
| 2018 | GUI scalability issues of windows desktop applications and how to find them. | Rudolf Ramler, Thomas Wetzlmaier, Robert Hoschek |
| 2018 | Analyzing the analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe. | Lina Qiu, Yingying Wang, Julia Rubin |
| 2018 | Untitled record | Pedro Martins Pontes, Bruno Lima, Joo Pascoal Faria |
| 2018 | Automatic GUI testing of desktop applications: an empirical assessment of the state of the art. | Mauro Pezz, Paolo Rondena, Daniele Zuddas |
| 2018 | Can we learn some PL theory?: how to make use of a corpus of subtype checks. | Artem Pelenitsyn |
| 2018 | On the importance of common sense in program synthesis. | Hila Peleg |
| 2018 | NJR: a normalized Java resource. | Jens Palsberg, Cristina V. Lopes |
| 2018 | piCoq: parallel regression proving for large-scale verification projects. | Karl Palmskog, Ahmet elik, Milos Gligoric |
| 2018 | Badger: complexity analysis with fuzzing and symbolic execution. | Yannic Noller, Rody Kersten, Corina S. Pasareanu |
| 2018 | MalViz: an interactive visualization tool for tracing malware. | Vinh The Nguyen, Akbar Siami Namin, Tommy Dang |
| 2018 | Repositioning of static analysis alarms. | Tukaram Muske, Rohith Talluri, Alexander Serebrenik |