| 2019 | Epistemic model checking of distributed commit protocols with byzantine faults. | Omar I. Al-Bataineh, Mark Reynolds |
| 2019 | On the formalization of importance measures using HOL theorem proving. | Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofine Tahar |
| 2019 | Leveraging artifact trees to evolve and reuse safety cases. | Ankit Agrawal, Seyedehzahra Khoshmanesh, Michael Vierhauser, Mona Rahimi, Jane Cleland-Huang, Robyn R. Lutz |
| 2019 | Software documentation issues unveiled. | Emad Aghajani, Csaba Nagy, Olga Lucero Vega-Mrquez, Mario Linares-Vsquez, Laura Moreno, Gabriele Bavota, Michele Lanza |
| 2019 | Developer reading behavior while summarizing Java methods: size and context matters. | Nahla J. Abid, Bonita Sharif, Natalia Dragan, Hend Alrasheed, Jonathan I. Maletic |
| 2019 | Supporting analysts by dynamic extraction and classification of requirements-related knowledge. | Zahra Shakeri Hossein Abad, Vincenzo Gervasi, Didar Zowghi, Behrouz H. Far |
| 2019 | How much authenticity can be achieved in software engineering project based courses? | Zahra Shakeri Hossein Abad, Muneera Bano, Didar Zowghi |
| 2019 | Pattern-based mining of opinions in Q&A websites. | Bin Lin, Fiorella Zampetti, Gabriele Bavota, Massimiliano Di Penta, Michele Lanza |
| 2019 | An empirical investigation of incident triage for online service systems. | Junjie Chen, Xiaoting He, Qingwei Lin, Yong Xu, Hongyu Zhang, Dan Hao, Feng Gao, Zhangwei Xu, Yingnong Dang, Dongmei Zhang |
| 2019 | MAPmAKER: performing multi-robot LTL planning under uncertainty. | Sergio Garca, Claudio Menghi, Patrizio Pelliccione |
| 2019 | Grey-box concolic testing on binary code. | Jaeseung Choi, Joonun Jang, Choongwoo Han, Sang Kil Cha |
| 2019 | Analyzing and supporting adaptation of online code examples. | Tianyi Zhang, Di Yang, Cristina V. Lopes, Miryung Kim |
| 2019 | How practitioners perceive coding proficiency. | Xin Xia, Zhiyuan Wan, Pavneet Singh Kochhar, David Lo |
| 2019 | Towards better utilizing static application security testing. | Jinqiu Yang, Lin Tan, John Peyton, Kristofer A. Duer |
| 2019 | IoT composer: composition and deployment of IoT applications. | Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salan |
| 2019 | Rigorous design and deployment of IoT applications. | Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salan |
| 2019 | Modeling semantic dependencies to allow flow monitoring in networks with black-box nodes. | Stefan Gries, Julius Ollesch, Volker Gruhn |
| 2019 | RM2PT: a tool for automated prototype generation from requirements model. | Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke |
| 2019 | Training software engineers using open-source software: the students' perspective. | Gustavo Pinto, Clarice Ferreira, Cleice Souza, Igor Steinmacher, Paulo Meirelles |
| 2019 | Challenges for verifying and validating scientific software in computational materials science. | Thomas Vogel, Stephan Druskat, Markus Scheidgen, Claudia Draxl, Lars Grunske |
| 2018 | Strategy for continuous testing in iDevOps. | Peter Zimmerer |
| 2018 | Software testing as a problem of machine learning: towards a foundation on computational learning theory (extended abstract of keynote speech). | Hong Zhu |
| 2018 | Identifying features in forks. | Shurui Zhou, Stefan Stanciulescu, Olaf Leenich, Yingfei Xiong, Andrzej Wasowski, Christian Kstner |
| 2018 | Benchmarking microservice systems for software engineering research. | Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chenjie Xu, Chao Ji, Wenyun Zhao |
| 2018 | Towards reusing hints from past fixes: an exploratory study on thousands of real samples. | Hao Zhong, Na Meng |