| 2012 | Software Life-Extension: A New Countermeasure to Software Aging. | Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno |
| 2012 | Aging-Related Bugs in Cloud Computing Software. | Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno |
| 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 | Applying Software Reliability Growth Models to DOD Systems. | E. Andrew Long, Louis Gullo, Allen P. Nikora |
| 2012 | Bug Detection in Large-Scale Nuclear Power Software. | Zheng Liu, Wentao Mo, Dangpei Ren, Guang Zhao, Mingye Liu |
| 2012 | Customer Scenario Focused End-to-End Testing. | Chen Liang, Aniket Malatpure, Mohammad Shafiei, Marcelo Vago, Tsan Zheng |
| 2012 | Ontology-Based Reuse of Failure Modes for FMEA: Methodology and Tool. | Guoqi Li |
| 2012 | Toward Baselining Software Anomalies in NASA Missions. | Lucas Layman, Marvin V. Zelkowitz, Victor R. Basili, Allen P. Nikora |
| 2012 | Detection of Interferences in Aspect-Oriented Programs Using Executable Assertions. | Jimmy Lauret, Hlne Waeselynck, Jean-Charles Fabre |
| 2012 | Automatic GUI Model Generation: State of the Art. | Andres Kull |
| 2012 | Using Profiling Metrics to Categorise Peer Review Types in the Android Project. | Raula Gaikovina Kula, Carmago Cruz Ana E., Norihiro Yoshida, Kazuki Hamasaki, Kenji Fujiwara, Xin Yang, Hajimu Iida |
| 2012 | Shared Execution for Efficiently Testing Product Lines. | Chang Hwan Peter Kim, Sarfraz Khurshid, Don S. Batory |
| 2012 | Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems. | Young Joo Kim, Moonzoo Kim |
| 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 | Agile Practices in Regulated Railway Software Development. | Henrik Jonsson, Stig Larsson, Sasikumar Punnekkat |
| 2012 | Metric-Based Quality Evaluations for Iterative Software Development Approaches Like Agile. | Kumi Jinzenji, Takashi Hoshino, Laurie A. Williams, Kenji Takahashi |
| 2012 | A Practical Extension of Pairwise Testing. | Oksoon Jeong |
| 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 | Early Performance Estimation for Industrial Component-Based Design of Reliable Software Defined Radio System. | Rafik Henia, Laurent Rioux, Nicolas Sordon, Thomas Vergnaud |
| 2012 | Safety and Performance Co-engineering: New MDE Challenge for Critical Applications Design? | Rafik Henia, Joseph Machrouh, Laurent Rioux |
| 2012 | The Effect of Testability on Fault Proneness: A Case Study of the Apache HTTP Server. | Mark Huffman Hays, Jane Hayes |
| 2012 | Compositional Verification of Sensor Software Using Uppall. | Mustafa Hammad, Jonathan Cook |
| 2012 | Automated Checking of Web Application Invocations. | William G. J. Halfond |
| 2012 | Mutation Testing of Event Processing Queries. | Lorena Gutirrez-Madronal, Hossain Shahriar, Mohammad Zulkernine, Juan Jos Domnguez-Jimnez, Inmaculada Medina-Bulo |
| 2012 | Cost Optimality in Testing and Rejuvenation. | Michael Grottke, Benjamin Schleich |