| 2020 | HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution). | Sebastian Ruland, Malte Lochau, Marie-Christine Jakobs |
| 2020 | Algorithmic Analysis of Blockchain Efficiency with Communication Delay. | Carlos Pinzn, Camilo Rocha, Jorge Finke |
| 2020 | Incremental Concurrent Model Synchronization using Triple Graph Grammars. | Fernando Orejas, Elvira Pino, Marisa Navarro |
| 2020 | Generating Large EMF Models Efficiently - A Rule-Based, Configurable Approach. | Nebras Nassar, Jens Kosiol, Timo Kehrer, Gabriele Taentzer |
| 2020 | Integrating Topological Proofs with Model Checking to Instrument Iterative Design. | Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi |
| 2020 | Revisiting Semantics of Interactions for Trace Validity Analysis. | Erwan Mahe, Christophe Gaston, Pascale Le Gall |
| 2020 | Business Process Compliance Using Reference Models of Law. | Hugo A. Lpez, Sren Debois, Tijs Slaats, Thomas T. Hildebrandt |
| 2020 | Legion: Best-First Concolic Testing (Competition Contribution). | Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein |
| 2020 | LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution). | Hoang M. Le |
| 2020 | Multi-level Model Product Lines - Open and Closed Variability for Modelling Language Families. | Juan de Lara, Esther Guerra |
| 2020 | Skill-Based Verification of Cyber-Physical Systems. | Alexander Knppel, Inga Jatzkowski, Marcus Nolte, Thomas Thm, Tobias Runge, Ina Schaefer |
| 2020 | An Empirical Study on the Use and Misuse of Java 8 Streams. | Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Baishakhi Ray |
| 2020 | A Generalized Formal Semantic Framework for Smart Contracts. | Jiao Jiao, Shang-Wei Lin, Jun Sun |
| 2020 | Combining Partial Specifications using Alternating Interface Automata. | Ramon Janssen |
| 2020 | CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution). | Marie-Christine Jakobs |
| 2020 | TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). | Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha |
| 2020 | ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution). | Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole |
| 2020 | Holistic Specifications for Robust Programs. | Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach |
| 2020 | Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. | Aleksandar S. Dimovski, Axel Legay |
| 2020 | Extracting Semantics from Question-Answering Services for Snippet Reuse. | Themistoklis Diamantopoulos, Nikolaos Oikonomou, Andreas L. Symeonidis |
| 2020 | Statistical Model Checking for Variability-Intensive Systems. | Maxime Cordy, Mike Papadakis, Axel Legay |
| 2020 | Improving Symbolic Automata Learning with Concolic Execution. | Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser |
| 2020 | Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. | Radu Calinescu, Vittorio Cortellessa, Ioannis Stefanakos, Catia Trubiani |
| 2020 | Model-Based Tool Support for Service Design. | Francisco J. Prez-Blanco, Juan M. Vara, Cristian Gmez Macas, Valeria de Castro, Esperanza Marcos |
| 2020 | Second Competition on Software Testing: Test-Comp 2020. | Dirk Beyer |