| 2012 | A Topology-Based Model for Estimating the Diagnostic Efficiency of Statistics-Based Approaches. | Alexandre Perez, Andr Riboira, Rui Abreu |
| 2012 | Detection of Software Failures through Event Logs: An Experimental Study. | Antonio Pecchia, Stefano Russo |
| 2012 | Evidence-Based Security in Aerospace: From Safety to Security and Back Again. | Michael Paulitsch, Rupert Reiger, Lorenzo Strigini, Robin E. Bloomfield |
| 2012 | Application of D-Case to the Data-Upload Flow Diagram Scenario of the Distributed E-Learning System Called KISSEL. | Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto |
| 2012 | Dynamic Analysis of Upgrades in C/C++ Software. | Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler |
| 2012 | Cost Effective Reliability Centric Validation Model for Automotive ECUs. | Ajeet Kumar Pandey, Jessy George Smith, Vivek Diwanji |
| 2012 | An Exploratory Study of Higher Order Mutation Testing in Aspect-Oriented Programming. | Elmahdi Omar, Sudipto Ghosh |
| 2012 | Optimization of Opportunity-Based Software Rejuvenation Policy. | Hiroyuki Okamura, Tadashi Dohi |
| 2012 | TEAMS: A Special-Purpose AOP Framework for Runtime Monitoring. | Amjad Nusayr, Jonathan Cook, Gholamali Rahnavard |
| 2012 | Automated Risk-Based Testing by Integrating Safety Analysis Information into System Behavior Models. | Ramy Nazier, Thomas Bauer |
| 2012 | A Resilience Design Model for IMS-based Services. | Somia Natouri, Chidung Lac |
| 2012 | A Software Quality Evaluation Method Using the Change of Source Code Metrics. | Mitsuhiro Nakamura, Tomoki Hamagami |
| 2012 | Smart Unit Testing Framework. | Lakshmankumar Mukkavilli |
| 2012 | Static Analysis of Model Transformations for Effective Test Generation. | Jean-Marie Mottu, Sagar Sen, Massimo Tisi, Jordi Cabot |
| 2012 | A Light-Weight Defect Classification Scheme for Embedded Automotive Software and Its Initial Evaluation. | Niklas Mellegrd, Miroslaw Staron, Fredrik Trner |
| 2012 | A Comprehensive Code-Based Quality Model for Embedded Systems: Systematic Development and Validation by Industrial Projects. | Alois Mayr, Reinhold Plsch, Michael Kls, Constanza Lampasona, Matthias Saft |
| 2012 | Characterization of Software Aging Effects in Elastic Storage Mechanisms for Private Clouds. | Rbens de Souza Matos Jnior, Jean Araujo, Vandi Alves, Paulo Romero Martins Maciel |
| 2012 | Monitoring Memory-Related Software Aging: An Exploratory Study. | Rivalino Matias, Bruno Evangelista Costa, Autran Macedo |
| 2012 | On the Verification and Validation of Signature-Based, Network Intrusion Detection Systems. | Frdric Massicotte, Yvan Labiche |
| 2012 | Software at Scale for Building Resilient Wireless Sensor Networks. | Catello Di Martino |
| 2012 | A Review of Two Experiences from Applying Model Based Testing in Practice. | Dusica Marijan |
| 2012 | Revolution: Automatic Evolution of Mined Specifications. | Leonardo Mariani, Alessandro Marchetto, Cu D. Nguyen, Paolo Tonella, Arthur I. Baars |
| 2012 | Comparison of Static Analysis Tools for Finding Concurrency Bugs. | Numan Manzoor, Hussan Munir, Misagh Moayyed |
| 2012 | Modeling Software Rejuvenation on a Redundant System Using Monte Carlo Simulation. | Sonia Malefaki, Vasilis P. Koutras, Agapios N. Platis |
| 2012 | A MARTE Extension for Global Scheduling Analysis of Multiprocessor Systems. | Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mohamed Abid |