| 2012 | 23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012 |
| 2012 | A Comprehensive Code-Based Quality Model for Embedded Systems: Systematic Development and Validation by Industrial Projects. Alois Mayr, Reinhold Plösch, Michael Kläs, Constanza Lampasona, Matthias Saft |
| 2012 | A Light-Weight Defect Classification Scheme for Embedded Automotive Software and Its Initial Evaluation. Niklas Mellegård, Miroslaw Staron, Fredrik Törner |
| 2012 | A MARTE Extension for Global Scheduling Analysis of Multiprocessor Systems. Amina magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mohamed Abid |
| 2012 | An Assertions-Based Approach to Verifying the Absence Property Pattern. Marc Frappier, Amel Mammar |
| 2012 | An Empirical Study of Bugs in Machine Learning Systems. Ferdian Thung, Shaowei Wang, David Lo, Lingxiao Jiang |
| 2012 | An Empirical Study of the Effectiveness of "Forcing" Diversity Based on a Large Population of Diverse Programs. Peter T. Popov, Vladimir Stankovic, Lorenzo Strigini |
| 2012 | An Exploratory Study of Higher Order Mutation Testing in Aspect-Oriented Programming. Elmahdi Omar, Sudipto Ghosh |
| 2012 | Are Computer Focused Crimes Impacted by System Configurations? An Empirical Study. Bertrand Sobesto, Michel Cukier, David Maimon |
| 2012 | AutoInSpec: Using Missing Test Coverage to Improve Specifications in GUIs. Myra B. Cohen, Si Huang, Atif M. Memon |
| 2012 | Automated Checking of Web Application Invocations. William G. J. Halfond |
| 2012 | Compositional Verification of Sensor Software Using Uppall. Mustafa Hammad, Jonathan Cook |
| 2012 | Data Loss Prevention Based on Data-Driven Usage Control. Tobias Wüchner, Alexander Pretschner |
| 2012 | Detection of Software Failures through Event Logs: An Experimental Study. Antonio Pecchia, Stefano Russo |
| 2012 | Dynamic Analysis of Upgrades in C/C++ Software. Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler |
| 2012 | Evaluating and Improving Penetration Testing in Web Services. Nuno Antunes, Marco Vieira |
| 2012 | Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems. Young Joo Kim, Moonzoo Kim |
| 2012 | Improving Coverage-Based Localization of Multiple Faults Using Algorithms from Integer Linear Programming. Friedrich Steimann, Marcus Frenkel |
| 2012 | Lightweight Automated Testing with Adaptation-Based Programming. Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig, Camden Lopez |
| 2012 | Lightweight Static Analysis for GUI Testing. Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon |
| 2012 | Mutation Testing of Event Processing Queries. Lorena Gutiérrez-Madronal, Hossain Shahriar, Mohammad Zulkernine, Juan José Domínguez-Jiménez, Inmaculada Medina-Bulo |
| 2012 | On the Aging Effects Due to Concurrency Bugs: A Case Study on MySQL. Antonio Bovenzi, Domenico Cotroneo, Roberto Pietrantuono, Stefano Russo |
| 2012 | On the Relative Strengths of Model-Based and Dynamic Event Extraction-Based GUI Testing Techniques: An Empirical Study. Gigon Bae, Gregg Rothermel, Doo-Hwan Bae |
| 2012 | On the Use of Boundary Scan for Code Coverage of Critical Embedded Software. João Carlos Cunha, Ricardo Barbosa, Gilberto Rodrigues |
| 2012 | On the Verification and Validation of Signature-Based, Network Intrusion Detection Systems. Frédéric Massicotte, Yvan Labiche |
| 2012 | Oracle-Centric Test Case Prioritization. Matt Staats, Pablo S. Loyola, Gregg Rothermel |
| 2012 | Overlap and Synergy in Testing Software Components across Loosely Coupled Communities. Teng Long, Il-Chul Yoon, Adam A. Porter, Alan Sussman, Atif M. Memon |
| 2012 | Recycling Test Cases to Detect Security Vulnerabilities. João Antunes, Nuno Ferreira Neves |
| 2012 | Revolution: Automatic Evolution of Mined Specifications. Leonardo Mariani, Alessandro Marchetto, Cu D. Nguyen, Paolo Tonella, Arthur I. Baars |
| 2012 | Shared Execution for Efficiently Testing Product Lines. Chang Hwan Peter Kim, Sarfraz Khurshid, Don S. Batory |
| 2012 | Software Life-Extension: A New Countermeasure to Software Aging. Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno |
| 2012 | Speculative Symbolic Execution. Yufeng Zhang, Zhenbang Chen, Ji Wang |
| 2012 | State-Based Testing: Industrial Evaluation of the Cost-Effectiveness of Round-Trip Path and Sneak-Path Strategies. Nina Elisabeth Holt, Richard Torkar, Lionel C. Briand, Kai Hansen |
| 2012 | Static Analysis of Model Transformations for Effective Test Generation. Jean-Marie Mottu, Sagar Sen, Massimo Tisi, Jordi Cabot |
| 2012 | The Nature of the Times to Flight Software Failure during Space Missions. Javier Alonso, Michael Grottke, Allen P. Nikora, Kishor S. Trivedi |
| 2012 | Using Multiclass Machine Learning Methods to Classify Malicious Behaviors Aimed at Web Systems. Katerina Goseva-Popstojanova, Goce Anastasovski, Risto Pantev |
| 2012 | Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis. René Just, Gregory M. Kapfhammer, Franz Schweiggert |
| 2012 | Using Population Characteristics to Build Forecasting Models for Computer Security Incidents. Edward Condon, Michel Cukier |
| 2012 | What Is System Hang and How to Handle It. Yian Zhu, Yue Li, Jingling Xue, Tian Tan, Jialong Shi, Yang Shen, Chunyan Ma |