| 2014 | Adding Security Concerns to Safety Critical Certification. | Nicola Nostro, Andrea Bondavalli, Nuno Silva |
| 2014 | Supporting Reviewing of Warnings in Presence of Shared Variables: Need and Effectiveness. | Tukaram Muske |
| 2014 | Finding Domain-Generation Algorithms by Looking at Length Distribution. | Miranda Mowbray, Josiah Hagen |
| 2014 | CRSTIP - An Assessment Scheme for Security Assessment Processes. | Arthur-Jozsef Molnar, Jrgen Gromann |
| 2014 | Experience Report: An Analysis of Hypercall Handler Vulnerabilities. | Aleksandar Milenkoski, Bryan D. Payne, Nuno Antunes, Marco Vieira, Samuel Kounev |
| 2014 | Pinpointing Failure Inducing Event Orderings. | Hanefi Mercan, Cemal Yilmaz |
| 2014 | Security Benchmarks for Web Serving Systems. | Naaliel Mendes, Henrique Madeira, Joo Dures |
| 2014 | Multi-agent System for APT Detection. | Wim Mees, Thibault Debatty |
| 2014 | Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking. | Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata |
| 2014 | Record and Replay GUI-Based Applications with Less Overhead. | Joo Matos, Nuno Corao, Joo Garcia |
| 2014 | Analysis and Diagnosis of SLA Violations in a Production SaaS Cloud. | Catello Di Martino, Daniel Chen, Geetika Goel, Rajeshwari Ganesan, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer |
| 2014 | Early Conflict Detection with Mined Models. | Leonardo Mariani, Daniela Micucci, Fabrizio Pastore |
| 2014 | Experience Report: A Safety Engineering Tool Supporting Error Model Creation and Visualization. | Roland Mader, Rene Obendrauf, Philipp Prinz, Gerhard Griessnig |
| 2014 | Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration. | Hong Lu, Tao Yue, Shaukat Ali, Kunming Nie, Li Zhang |
| 2014 | Defect Prediction between Software Versions with Active Learning and Dimensionality Reduction. | Huihua Lu, Ekrem Kocaguneli, Bojan Cukic |
| 2014 | Challenges in Future Avionic Systems on Multi-Core Platforms. | Andreas Lfwenmark, Simin Nadjm-Tehrani |
| 2014 | Predicting Effectiveness of IR-Based Bug Localization Techniques. | Tien-Duy B. Le, Ferdian Thung, David Lo |
| 2014 | Reducing Web Test Cases Aging by Means of Robust XPath Locators. | Maurizio Leotta, Andrea Stocco, Filippo Ricca, Paolo Tonella |
| 2014 | Automotive SPICE Assessments in Safety-Critical Contexts: An Experience Report. | Giuseppe Lami, Fabio Falcini |
| 2014 | Evaluation of Risk for Complex Systems Using Attack Surface. | Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin |
| 2014 | On the Equivalence of SOA Rollback-Recovery Consistency Models. | Anna Kobusinska, Jerzy Brzezinski |
| 2014 | Describing Software Specification by Combining SysML with the B Method. | Satoko Kinoshita, Hidekazu Nishimura, Hiroki Takamura, Daichi Mizuguchi |
| 2014 | Do Injected Faults Cause Real Failures? A Case Study of Linux. | Nobuo Kikuchi, Takeshi Yoshimura, Ryo Sakuma, Kenji Kono |
| 2014 | An Orchestrated Survey of Available Algorithms and Tools for Combinatorial Testing. | Sunint Kaur Khalsa, Yvan Labiche |
| 2014 | Automatic Testing Framework for Virtualization Environment. | Chia Hung Kao, Ping-Hsien Chi, Yi-Hsuan Lee |