| 2016 | Using a Cognitive Psychology Perspective on Errors to Improve Requirements Quality: An Empirical Investigation. | Vaibhav K. Anu, Gursimran Singh Walia, Wenhua Hu, Jeffrey C. Carver, Gary L. Bradshaw |
| 2016 | Dependability Challenges in the Model-Driven Engineering of Automotive Systems. | Rakshith Amarnath, Peter Munk, Eike Thaden, Arne Nordmann, Simon Burton |
| 2016 | Automatically Classifying Test Results by Semi-Supervised Learning. | Rafig Almaghairbe, Marc Roper |
| 2016 | SV-AF - A Security Vulnerability Analysis Framework. | Sultan S. Al-Qahtani, Ellis E. Eghan, Juergen Rilling |
| 2016 | Approximate Lock: Trading off Accuracy for Performance by Skipping Critical Sections. | Riad Akram, Mohammad Mejbah Ul Alam, Abdullah Muzahid |
| 2015 | Experience report: How do bug characteristics differ across severity classes: A multi-platform study. | Bo Zhou, Iulian Neamtiu, Rajiv Gupta |
| 2015 | Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B. | Yongwang Zhao, Zhibin Yang, David Sann, Yang Liu |
| 2015 | Conservative claims about the probability of perfection of software-based systems. | Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, David Wright |
| 2015 | Boundary value analysis in automatic white-box test generation. | Zhiqiang Zhang, Tianyong Wu, Jian Zhang |
| 2015 | Efficient observability-based test generation by dynamic symbolic execution. | Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay |
| 2015 | SpyAware: Investigating the privacy leakage signatures in app execution traces. | Hui Xu, Yangfan Zhou, Cuiyun Gao, Yu Kang, Michael R. Lyu |
| 2015 | Experience report: A characteristic study on out of memory errors in distributed data-parallel applications. | Lijie Xu, Wensheng Dou, Feng Zhu, Chushu Gao, Jie Liu, Hua Zhong, Jun Wei |
| 2015 | Experience report: An industrial experience report on test outsourcing practices. | Xin Xia, David Lo, Pavneet Singh Kochhar, Zhenchang Xing, Xinyu Wang, Shanping Li |
| 2015 | Software aging in mobile devices: Partial computation offloading as a solution. | Huaming Wu, Katinka Wolter |
| 2015 | Fast reproducing web application errors. | Jie Wang, Wensheng Dou, Chushu Gao, Jun Wei |
| 2015 | UPMOA: An improved search algorithm to support user-preference multi-objective optimization. | Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen |
| 2015 | Discovering specification violations in networked software systems. | Robert J. Walls, Yuriy Brun, Marc Liberatore, Brian Neil Levine |
| 2015 | Experience report: A field analysis of user-defined security configurations of Android devices. | Daniel Vecchiato, Eliane Martins |
| 2015 | Experience report: Formal verification and testing in the development of embedded software. | Andreas Ulrich, Anjelika Votintseva |
| 2015 | WAP: What activates a bug? A refinement of the Laprie terminology model. | Peter Trger, Lena Feinbube, Matthias Werner |
| 2015 | UML consistency rules in technical books. | Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar |
| 2015 | On validating UML consistency rules. | Damiano Torre |
| 2015 | Using normalized compression distance to measure the evolutionary stability of software systems. | David Threm, Liguo Yu, Srini Ramaswamy, Sithu D. Sudarsan |
| 2015 | Security slicing for auditing XML, XPath, and SQL injection vulnerabilities. | Julian Thom, Lwin Khin Shar, Lionel C. Briand |
| 2015 | A scalable and accurate hybrid vulnerability analysis framework. | Julian Thom |