| 2016 | On Strong Mutation and Subsuming Mutants. | Birgitta Lindstrm, Andrs Mrki |
| 2016 | A Model-Based Approach for Product Testing and Certification in Digital Ecosystems. | Bruno Lima, Joo Pascoal Faria |
| 2016 | Automated Scenario-Based Testing of Distributed and Heterogeneous Systems. | Bruno Lima |
| 2016 | Symbooglix: A Symbolic Execution Engine for Boogie Programs. | Daniel Liew, Cristian Cadar, Alastair F. Donaldson |
| 2016 | Skyfire: Model-Based Testing with Cucumber. | Nan Li, Anthony Escalona, Tariq Kamal |
| 2016 | Generating Evil Test Strings for Regular Expressions. | Eric Larson, Anna Kirk |
| 2016 | Are We There Yet? How Redundant and Equivalent Mutants Affect Determination of Test Completeness. | Bob Kurtz, Paul Ammann, Jeff Offutt, Mariet Kurtz |
| 2016 | Symbolic Characterisation of Commonalities in Testing Software Product Lines. | Sebastian Kunze |
| 2016 | Pseudo-Exhaustive Testing of Attribute Based Access Control Rules. | D. Richard Kuhn, Vincent C. Hu, David F. Ferraiolo, Raghu N. Kacker, Yu Lei |
| 2016 | Test Oracles and Test Script Generation in Combinatorial Testing. | Peter M. Kruse |
| 2016 | Modeling App Behavior from Multiple Artifacts. | Emily Kowalczyk |
| 2016 | Effective Fault Localization Using Dynamic Slicing and an SMT Solver. | Yoshinao Ishii, Takuro Kutsuna |
| 2016 | Interpreting Coverage Information Using Direct and Indirect Coverage. | Chen Huo, James Clause |
| 2016 | Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. | John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell |
| 2016 | Profiting from Unit Tests for Integration Testing. | Dominik Holling, Andreas Hofbauer, Alexander Pretschner, Matthias Gemmar |
| 2016 | Nequivack: Assessing Mutation Score Confidence. | Dominik Holling, Sebastian Banescu, Marco Probst, Ana Petrovska, Alexander Pretschner |
| 2016 | Experience Report: White Box Test Case Generation for Automotive Embedded Software. | Andreas Hoffmann, Jochen Quante, Matthias Woehrle |
| 2016 | Why do Record/Replay Tests of Web Applications Break? | Mouna Hammoudi, Gregg Rothermel, Paolo Tonella |
| 2016 | Verification Methodology for Fully Autonomous Heavy Vehicles. | Joakim Gustavsson |
| 2016 | Measuring Effectiveness of Mutant Sets. | Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce |
| 2016 | Debugging without Testing. | Wided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias |
| 2016 | Effective Partial Order Reduction in Model Checking Database Applications. | Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui |
| 2016 | Successive Refinement of Models for Model-Based Testing to Increase System Test Effectiveness. | Ceren Sahin Gebizli, Hasan Szer, Ali zer Ercan |
| 2016 | Selecting the Right Topics for Industry-Academia Collaborations in Software Testing: An Experience Report. | Vahid Garousi, Kadir Herkiloglu |
| 2016 | Combinatorial Testing: From Algorithms to Applications. | Angelo Gargantini, Rachel Tzoref-Brill |