| 2013 | Performance degradation analysis of a supercomputer. | Domenico Cotroneo, Flavio Frattini, Roberto Natella, Roberto Pietrantuono |
| 2013 | Quantifying the influence of failure repair/mitigation costs on service-based systems. | Vittorio Cortellessa, Raffaela Mirandola, Fabrizio Marinelli, Pasqualina Potena |
| 2013 | Radio Diagnostic tool: IDoctor. | Wei Hoo Chong |
| 2013 | Comparing four case studies on Bohr-Mandel characteristics using ODC. | Ram Chillarege |
| 2013 | Using ODC to diagnose an Agile enterprise application development project. | Ram Chillarege |
| 2013 | Qualitative comparison of aerospace standards: An objective approach. | Andrea Ceccarelli, Nuno Silva |
| 2013 | Requirements engineering in rail transit production: An experience report. | Fernanda Buonanno, Domenico Di Leo, Paolo di Paolo, Roberto Pietrantuono, Stefano Russo |
| 2013 | Towards fast OS rejuvenation: An experimental evaluation of fast OS reboot techniques. | Antonio Bovenzi, Javier Alonso, Hiroshi Yamada, Stefano Russo, Kishor S. Trivedi |
| 2013 | Keynote speaker 1: The economics of systems and software reliability. | Barry W. Boehm, Gerard J. Holzmann |
| 2013 | Got issues? Who cares about it? A large scale investigation of issue trackers from GitHub. | Tegawend F. Bissyand, David Lo, Lingxiao Jiang, Laurent Rveillre, Jacques Klein, Yves Le Traon |
| 2013 | Combining testing and proof to gain high assurance in software: A case study. | Peter G. Bishop, Robin E. Bloomfield, Lukasz Cyra |
| 2013 | A structured and model-based hazard analysis and risk assessment method for automotive systems. | Kristian Beckers, Maritta Heisel, Thomas Frese, Denis Hatebur |
| 2013 | A fusion approach for classifying duplicate problem reports. | Sean Banerjee, Zahid A. Syed, Jordan Helmick, Bojan Cukic |
| 2013 | Software rejuvenation impacts on a phased-mission system for Mars exploration. | Stefano Ballerini, Laura Carnevali, Marco Paolieri, Kumiko Tadano, Fumio Machida |
| 2013 | Characterizing configuration problems in Java EE application servers: An empirical study with GlassFish and JBoss. | Fahad A. Arshad, Rebecca J. Krause, Saurabh Bagchi |
| 2013 | A monitoring and testing framework for critical off-the-shelf applications and services. | Nuno Antunes, Francesco Brancati, Andrea Ceccarelli, Andrea Bondavalli, Marco Vieira |
| 2013 | Fault localization in embedded software based on a single cyclic trace. | Azzeddine Amiar, Mickal Delahaye, Ylis Falcone, Lydie du Bousquet |
| 2013 | Stress testing of task deadlines: A constraint programming approach. | Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb |
| 2013 | Safety assessment of software-intensive medical devices: Introducing a safety quality model approach. | Rasmus Adler, Sren Kemmann, Djalma de Melo Carvalho Filho, Jos Augusto Oliveira Neto |
| 2012 | What Is System Hang and How to Handle It. | Yian Zhu, Yue Li, Jingling Xue, Tian Tan, Jialong Shi, Yang Shen, Chunyan Ma |
| 2012 | A Static Detecting Model for Invalid Arithmetic Operation Based on Alias Analysis. | Hongbo Zhou, Qian Wang, Dahai Jin, Yunzhan Gong |
| 2012 | An Advanced Methodology for Measuring and Characterizing Software Aging. | Pengfei Zheng, Qingguo Xu, Yong Qi |
| 2012 | Accelerate the Software Software Reliability Testing Execution Process with Fuzzy Discrimination. | Feng Zheng, Jun Ai, Jingwei Shang, Jinhui Wang |
| 2012 | Predicting Data Dependences for Slice Inspection Prioritization. | Yiji Zhang, Ral A. Santelices |
| 2012 | Speculative Symbolic Execution. | Yufeng Zhang, Zhenbang Chen, Ji Wang |