| 2020 | A Generalized Formal Semantic Framework for Smart Contracts. Jiao Jiao, Shang-Wei Lin, Jun Sun |
| 2020 | Algorithmic Analysis of Blockchain Efficiency with Communication Delay. Carlos Pinzón, Camilo Rocha, Jorge Finke |
| 2020 | An Empirical Study on the Use and Misuse of Java 8 Streams. Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Baishakhi Ray |
| 2020 | Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. Radu Calinescu, Vittorio Cortellessa, Ioannis Stefanakos, Catia Trubiani |
| 2020 | Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. Aren A. Babikian, Oszkár Semeráth, Dániel Varró |
| 2020 | Business Process Compliance Using Reference Models of Law. Hugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt |
| 2020 | CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution). Marie-Christine Jakobs |
| 2020 | Combining Partial Specifications using Alternating Interface Automata. Ramon Janssen |
| 2020 | Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. Aleksandar S. Dimovski, Axel Legay |
| 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 | Extracting Semantics from Question-Answering Services for Snippet Reuse. Themistoklis Diamantopoulos, Nikolaos Oikonomou, Andreas L. Symeonidis |
| 2020 | Family-Based SPL Model Checking Using Parity Games with Variability. Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse |
| 2020 | Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings Heike Wehrheim, Jordi Cabot |
| 2020 | Generating Large EMF Models Efficiently - A Rule-Based, Configurable Approach. Nebras Nassar, Jens Kosiol, Timo Kehrer, Gabriele Taentzer |
| 2020 | Global Reproducibility Through Local Control for Distributed Active Objects. Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte |
| 2020 | Holistic Specifications for Robust Programs. Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach |
| 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 | Improving Symbolic Automata Learning with Concolic Execution. Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser |
| 2020 | Incremental Concurrent Model Synchronization using Triple Graph Grammars. Fernando Orejas, Elvira Pino, Marisa Navarro |
| 2020 | Integrating Topological Proofs with Model Checking to Instrument Iterative Design. Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi |
| 2020 | LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution). Hoang M. Le |
| 2020 | Legion: Best-First Concolic Testing (Competition Contribution). Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein |
| 2020 | Model-Based Tool Support for Service Design. Francisco J. Pérez-Blanco, Juan M. Vara, Cristian Gómez Macías, Valeria de Castro, Esperanza Marcos |
| 2020 | Multi-level Model Product Lines - Open and Closed Variability for Modelling Language Families. Juan de Lara, Esther Guerra |
| 2020 | Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic. Guolong Zheng, Hamid Bagheri, Gregg Rothermel, Jianghao Wang |
| 2020 | Revisiting Semantics of Interactions for Trace Validity Analysis. Erwan Mahe, Christophe Gaston, Pascale Le Gall |
| 2020 | Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming. Nils Weidmann, Anthony Anjorin |
| 2020 | Second Competition on Software Testing: Test-Comp 2020. Dirk Beyer |
| 2020 | Skill-Based Verification of Cyber-Physical Systems. Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer |
| 2020 | Statistical Model Checking for Variability-Intensive Systems. Maxime Cordy, Mike Papadakis, Axel Legay |
| 2020 | Towards Multiple Model Synchronization with Comprehensive Systems. Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle |
| 2020 | TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha |