| 2015 | Operational softwarized networks reliability management. | Sejun Song, Henry Zhu |
| 2015 | Software reliability growth model based on Bohrbugs and Mandelbugs. | Martin L. Shooman |
| 2015 | Test suites for benchmarks of static analysis tools. | Shinichi Shiraishi, Veena Mohan, Hemalatha Marimuthu |
| 2015 | Knowledge transition: Discovering workflow models from functional tests. | Vipul Shah, Chetan Khadke, Sunjit Rana |
| 2015 | SysML-based and Prolog-supported FMEA. | Fabio Scippacercola, Roberto Pietrantuono, Stefano Russo, Nuno Pedro Silva |
| 2015 | Model generation to support model-based testing applied on the NASA DAT Web-application - An experience report. | Christoph Schulze, Mikael Lindvall, Sigurthor Bjorgvinsson, Robert Wiegand |
| 2015 | WAP: Digital dependability identities. | Daniel Schneider, Mario Trapp, Yiannis Papadopoulos, Eric Armengaud, Marc Zeller, Kai Hfig |
| 2015 | A safe generic adaptation mechanism for smart cars. | Alejandra Ruiz, Garazi Juez, Philipp Schleiss, Gereon Weiss |
| 2015 | Efficient reachability graph development for qualitive analysis of state/event fault trees. | Michael Roth, Agus Hartoyo, Peter Liggesmeyer |
| 2015 | Countdown graph: Estimating completion of testing. | Pete Rotella, Tom Land, Marjan Moshref, Sunita Chulani |
| 2015 | Resource/schedule/content model: Improving testing effectiveness. | Pete Rotella, Sunita Chulani, John Intintolo |
| 2015 | C-SEC (Cyber SCADA evaluation capability): Securing critical infrastructures. | Jose Romero-Mariona, Megan Kline, John San Miguel |
| 2015 | Detecting latent cross-platform API violations. | Jeff Rasley, Eleni Gessiou, Tony Ohmann, Yuriy Brun, Shriram Krishnamurthi, Justin Cappos |
| 2015 | WAP: Cognitive aspects in unit testing: The hunting game and the hunter's perspective. | Marllos P. Prado, Eric Verbeek, Margaret-Anne D. Storey, Auri M. R. Vincenzi |
| 2015 | Parse tree structure in LTL requirements diagnosis. | Ingo Pill, Thomas Quaritsch, Franz Wotawa |
| 2015 | RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm. | Ingo Pill, Thomas Quaritsch |
| 2015 | Analyzing the reduction of test suite redundancy. | Ingo Pill, Seema Jehan, Franz Wotawa, Mihai Nica |
| 2015 | Software-defined networking (SDN) control message classification, verification, and optimization system. | Hyungbae Park, Sejun Song, Baek-Young Choi, Henry Zhu |
| 2015 | Experience report: How do structural dependencies influence change propagation? An empirical study. | Gustavo Ansaldi Oliva, Marco Aurlio Gerosa |
| 2015 | Towards comprehensive software reliability evaluation in open source software. | Hiroyuki Okamura, Tadashi Dohi |
| 2015 | Formal methods for informal developpers: A case-study driven by the French defense agency (DGA). | Quentin Ochem, Eric Perlade |
| 2015 | A similarity-based approach for test case prioritization using historical failure data. | Tanzeem Bin Noor, Hadi Hemmati |
| 2015 | Preventing recurrence of industrial control system accident using assurance case. | Mirko Napolano, Fumio Machida, Roberto Pietrantuono, Domenico Cotroneo |
| 2015 | An evidential reasoning approach for assessing confidence in safety evidence. | Sunil Nair, Neil Walkinshaw, Tim Kelly, Jose Luis de la Vara |
| 2015 | Upgrade of the IaaS cloud: Issues and potential solutions in the context of high-availability. | Mina Nabi, Ferhat Khendek, Maria Toeroe |