| 2014 | Model-Checking Real-Time Properties of an Auto Flight Control System Function. | Pierre-Alain Bourdil, Bernard Berthomieu, Eric Jenn |
| 2014 | Building Blocks for Assurance Cases. | Robin E. Bloomfield, Kateryna Netkachova |
| 2014 | MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned. | Gil Bernabeu, Eddie Jaffuel, Bruno Legeard, Fabien Peureux |
| 2014 | Event Logging in an Industrial Development Process: Practices and Reengineering Challenges. | Fabio Baccanico, Gabriella Carrozza, Marcello Cinque, Domenico Cotroneo, Antonio Pecchia, Agostino Savignano |
| 2014 | Developing Software Reliability Models in the Architecture Phase of the Software Lifecycle. | Alberto Avritzer, Andre B. Bondi |
| 2014 | NAPOLI FUTURA: Novel Approaches for Protecting Critical Infrastructures from Cyber Attacks. | Stefano Avallone, Gabriella Carrozza, Marcello Cinque, Raffaele Della Corte, Antonio Marotta, Antonio Pecchia, Agostino Savignano |
| 2014 | Fault Injection Experiments with the CLAMR Hydrodynamics Mini-App. | Brian Atkinson, Nathan DeBardeleben, Qiang Guan, Robert W. Robey, William M. Jones |
| 2014 | Multi-objective Construction of an Entire Adequate Test Suite for an EFSM. | Nesa Asoudeh, Yvan Labiche |
| 2014 | Towards Certification of Automotive Software. | Cristiana Areias, Joo Carlos Cunha, Davide Iacono, Francesco Rossi |
| 2014 | Rejuvenation and the Spread of Epidemics in General Topologies. | Eitan Altman, Alberto Avritzer, Rachid El Azouzi, Daniel Sadoc Menasch, Leandro Pfleger de Aguiar |
| 2014 | How Does the UML Testing Profile Support Risk-Based Testing. | Shaukat Ali, Tao Yue, Andreas Hoffmann, Marc-Florian Wendland, Alessandra Bagnato, Etienne Brosse, Markus Schacher, Zhen Ru Dai |
| 2014 | Soft-LLFI: A Comprehensive Framework for Software Fault Injection. | Maryam Raiyat Aliabadi, Karthik Pattabiraman, Nematollah Bidokhti |
| 2014 | Are the Classical Disaster Recovery Tiers Still Applicable Today? | Omar Hussain Alhazmi, Yashwant K. Malaiya |
| 2014 | Debugging with Dynamic Temporal Assertions. | Ziad A. Al-Sharif, Clinton L. Jeffery, Mahmoud H. Said |
| 2014 | SCT: A Safety Case Toolkit. | M. Anthony Aiello, Ashlie B. Hocking, John C. Knight, Jonathan C. Rowanhill |
| 2014 | Reliability Models for the Internet of Things: A Paradigm Shift. | Mudasir Ahmad |
| 2014 | Process Model Tailoring and Assessment for Automotive Certification Objectives. | Morayo Adedjouma, Hao Hu |
| 2014 | CAMDIT: A Toolkit for Integrating Heterogeneous Data for Enhanced Service Provisioning. | Ipadeola Abayomi, Ipadeola Oladipupo, Ahmed Ameen, Joseph Sadiku |
| 2014 | Linking Traceability with GSN. | Kenji Taguchi, Daisuke Souma, Hideaki Nishihara, Toshinori Takai |
| 2013 | Coincidental correctness: An interference or interface to successful fault localization? | Zheng Zheng, Yichao Gao, Peng Hao, Zhenyu Zhang |
| 2013 | Improving the accuracy of static analysis based on state partition. | Dalin Zhang, Hailong Zhang, Dahai Jin, Yunzhan Gong |
| 2013 | Program behavior characterization and clustering: An empirical study for failure clustering. | Danqing Zhang, Jianhui Jiang, Linbo Chen |
| 2013 | An empirical comparison of the fault-detection capabilities of internal oracles. | Tingting Yu, Witawas Srisa-an, Gregg Rothermel |
| 2013 | Dependability of open systems. | Yasuhiko Yokote, Tatsumi Nagayama |
| 2013 | Systematic testing for resource leaks in Android applications. | Dacong Yan, Shengqian Yang, Atanas Rountev |