| 2014 | Trace Reduction and Pattern Analysis to Assist Debugging in Model-Based Testing. | Teemu Kanstrn, Marsha Chechik |
| 2014 | Assessing the Threat Landscape for Software Libraries. | Raghudeep Kannavara |
| 2014 | Regression Testing Approach for Large-Scale Systems. | Passant Kandil, Sherin M. Moussa, Nagwa L. Badr |
| 2014 | Reducing Certification Costs through Assured Dynamic Software Configuration. | Nermin Kajtazovic, Andrea Hller, Tobias Rauter, Christian Kreiner |
| 2014 | Exploiting Behavior Models for Availability Analysis of Interactive Systems. | Maximilian Junker |
| 2014 | Analysis of Functional Software Dependencies through Supervised Execution. | Jasmin Jahic, Thomas Kuhn |
| 2014 | Defect Analysis and Reliability Assessment for Transactional Web Applications. | Wafa Jaffal, Jeff Tian |
| 2014 | Access Control Policy Evolution: An Empirical Study. | JeeHyun Hwang, Da Young Lee, Laurie A. Williams, Mladen A. Vouk |
| 2014 | Effective Bug Triage Based on Historical Bug-Fix Information. | Hao Hu, Hongyu Zhang, Jifeng Xuan, Weigang Sun |
| 2014 | Towards an Evaluation Framework for Availability Solutions in the Cloud. | Mohammadmajid Hormati, Ferhat Khendek, Maria Toeroe |
| 2014 | More Debugging in Parallel. | Wolfgang Hogerle, Friedrich Steimann, Marcus Frenkel |
| 2014 | Why Does my Spreadsheet Compute Wrong Values? | Birgit Hofer, Franz Wotawa |
| 2014 | Spectrum-Based Fault Localization for Spreadsheets: Influence of Correct Output Cells on the Fault Localization Quality. | Birgit Hofer |
| 2014 | Arguing Software Compliance with ISO 26262. | Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi |
| 2014 | Proving Model Equivalence in Model Based Design. | Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi |
| 2014 | Understanding DO-178C Software Certification: Benefits Versus Costs. | Vance Hilderman |
| 2014 | Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns. | Wolfgang Herzner, Sven Sieverding, Omar Kacimi, Eckard Bde, Thomas Bauer, Brian Nielsen |
| 2014 | Using Pre-Release Test Failures to Build Early Post-Release Defect Prediction Models. | Kim Herzig |
| 2014 | Automated Generation of Failure Modes and Effects Analysis from SysML Models. | Myron Hecht, Emily Dimpfl, Julia Pinchak |
| 2014 | Argument Evaluation in the Context of Assurance Case Confidence Modeling. | Silviya Grigorova, T. S. E. Maibaum |
| 2014 | Mutations: How Close are they to Real Faults? | Rahul Gopinath, Carlos Jensen, Alex Groce |
| 2014 | Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis. | Barbara Gallina, Edin Sefer, Atle Refsdal |
| 2014 | A Model-Driven Safety Certification Method for Process Compliance. | Barbara Gallina |
| 2014 | Applying Parameter Value Weighting to a Practical Application. | Satoshi Fujimoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2014 | Run-Time Adaptive Error and State Management for Open Automotive Systems. | Jelena Frtunikj, Michael Armbruster, Alois C. Knoll |