| 2012 | Lightweight Automated Testing with Adaptation-Based Programming. | Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig, Camden Lopez |
| 2012 | Using Multiclass Machine Learning Methods to Classify Malicious Behaviors Aimed at Web Systems. | Katerina Goseva-Popstojanova, Goce Anastasovski, Risto Pantev |
| 2012 | Formal Analysis of Device-Delay Error in User-Device Interaction under Uncertainty. | Krishnendu Ghosh |
| 2012 | Measurements-Based Analysis of Workload-Error Relationship in a Production SaaS Cloud. | Rajeshwari Ganesan, Santonu Sarkar, Geetika Goel, Catello Di Martino |
| 2012 | An Assertions-Based Approach to Verifying the Absence Property Pattern. | Marc Frappier, Amel Mammar |
| 2012 | Combination of Static and Dynamic Analyses for the Certification of Avionics Software. | Antoine Ferlin, Virginie Wiels |
| 2012 | Baggy Bounds with Accurate Checking. | Baozeng Ding, Yeping He, Yanjun Wu, Alex Miller, John Criswell |
| 2012 | Assessing Product Quality through PMR Analysis: A Perspective. | Rajarshi Das |
| 2012 | Industrial Experiences of Building a Safety Case in Compliance with ISO 26262. | Raghad Dardar, Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg |
| 2012 | On the Use of Boundary Scan for Code Coverage of Critical Embedded Software. | Joo Carlos Cunha, Ricardo Barbosa, Gilberto Rodrigues |
| 2012 | Monitoring of Aging Software Systems Affected by Integer Overflows. | Domenico Cotroneo, Roberto Natella |
| 2012 | Using Population Characteristics to Build Forecasting Models for Computer Security Incidents. | Edward Condon, Michel Cukier |
| 2012 | AutoInSpec: Using Missing Test Coverage to Improve Specifications in GUIs. | Myra B. Cohen, Si Huang, Atif M. Memon |
| 2012 | Software Reliability Classes: A Basis for Release and Product Quality Expectations. | Sunita Chulani, Pete Rotella, Bob Mullen |
| 2012 | Targeting Specific Customer Satisfactions Issues with ODC Analysis. | Ram Chillarege |
| 2012 | Integrating MDT in an Industrial Process in the Air Traffic Control Domain. | Gabriella Carrozza, Mauro Faella, Francesco Fucci, Roberto Pietrantuono, Stefano Russo |
| 2012 | On the Aging Effects Due to Concurrency Bugs: A Case Study on MySQL. | Antonio Bovenzi, Domenico Cotroneo, Roberto Pietrantuono, Stefano Russo |
| 2012 | A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model. | Stefan Bjrnander, Rikard Land, Patrick J. Graydon, Kristina Lundqvist, Philippa Conmy |
| 2012 | Multiformalism to Support Software Rejuvenation Modeling. | Enrico Barbierato, Andrea Bobbio, Marco Gribaudo, Mauro Iacono |
| 2012 | Managing Automated End to End Testing in Bitwise Heterogenous Environments. | Rossel Paul Banji, Pandit Pattabhirama, Mukul Gharpure, Manjunath Ramachandra |
| 2012 | Handling Language Variations in Open Source Bug Reporting Systems. | Sean Banerjee, Jesse Musgrove, Bojan Cukic |
| 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 | Lightweight Static Analysis for GUI Testing. | Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schf, Ishan Banerjee, Atif M. Memon |
| 2012 | Evaluating and Improving Penetration Testing in Web Services. | Nuno Antunes, Marco Vieira |
| 2012 | Detecting Vulnerabilities in Service Oriented Architectures. | Nuno Antunes, Marco Vieira |