| 2012 | Wielding Statistical Fault Localization Statistically. | Yunqian Zhang, Lin Chen, Bo Jiang, Zhenyu Zhang |
| 2012 | A Study of Converting Risk to Assurance Case. | Motoki Yoan, Midori Sugaya, Kimio Kuramitsu |
| 2012 | Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates. | Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno |
| 2012 | Data Loss Prevention Based on Data-Driven Usage Control. | Tobias Wchner, Alexander Pretschner |
| 2012 | Program Debugging with Effective Software Fault Localization (Invited Talk). | W. Eric Wong |
| 2012 | Reconfigurable Scripting Language with Programming Risk. | Takuma Wakamori, Masahiro Ide, Midori Sugaya, Kimio Kuramitsu |
| 2012 | Integrating Model-Based and Constraint-Based Testing Using SpecExplorer. | Vivek Vishal, Mehmet Kovacioglu, Rachid Kherazi, Mohammad Reza Mousavi |
| 2012 | Requirements and Evaluation of Safety Analysis Techniques for Ambient Assisted Living Systems. | Adrien Mouaffo Tiadjio, Kavyashree Jamboti |
| 2012 | An Empirical Study of Bugs in Machine Learning Systems. | Ferdian Thung, Shaowei Wang, David Lo, Lingxiao Jiang |
| 2012 | Design-Model-Based Test Data Generation for Database Applications. | Haruto Tanno, Xiaojing Zhang, Takashi Hoshino |
| 2012 | A Proposal on a Method for Reviewing Operation Manuals of Supercomputer. | Shota Takama, Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto |
| 2012 | Improving Coverage-Based Localization of Multiple Faults Using Algorithms from Integer Linear Programming. | Friedrich Steimann, Marcus Frenkel |
| 2012 | Oracle-Centric Test Case Prioritization. | Matt Staats, Pablo S. Loyola, Gregg Rothermel |
| 2012 | Composable Safety-Critical Systems Based on Pre-certified Software Components. | Andreas Sderberg, Benjamin Vedder |
| 2012 | Are Computer Focused Crimes Impacted by System Configurations? An Empirical Study. | Bertrand Sobesto, Michel Cukier, David Maimon |
| 2012 | Modeling and Prediction of Performability of Safety Critical Computer Based Systems Using Petri Nets. | Lalit Kumar Singh, Gopika Vinod, Anil Kumar Tripathi |
| 2012 | 10 Years of ISVV: What's Next? | Nuno Silva, Rui Lopes |
| 2012 | Independent Assessment of Safety-Critical Systems: We Bring Data! | Nuno Silva, Rui Lopes |
| 2012 | Overview of 10 Years of ISVV Findings in Safety-Critical Systems. | Nuno Silva, Rui Lopes |
| 2012 | Bohrbugs, Mandelbugs, Exhaustive Testing and Unintended Automobile Acceleration. | Martin L. Shooman |
| 2012 | Applying Test Data Generation Using SMT Solver to COBOL. | Yusuke Sasaki, Yoshiharu Maeda, Kenichi Kobayashi, Akihiko Matsuo |
| 2012 | Assessing AUTOSAR Systems Using Fault Injection. | As'ad Salkham, Antonio Pecchia, Nuno Silva |
| 2012 | Quality Playbook: Ensuring Release to Release Improvement. | Pete Rotella, Sunita Chulani, Satyabrata Pradhan |
| 2012 | A Pragmatic Approach on Combined Safety and Security Risk Analysis. | Frank Reichenbach, Jan Endresen, Mohammad M. R. Chowdhury, Judith E. Y. Rosseb |
| 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 |