Abstract is missing.
- Improving Symbolic Automata Learning with Concolic ExecutionDonato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser. 3-26 [doi]
- Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational LogicGuolong Zheng, Hamid Bagheri, Gregg Rothermel, Jianghao Wang. 29-52 [doi]
- Integrating Topological Proofs with Model Checking to Instrument Iterative DesignClaudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi 0002. 53-74 [doi]
- A Generalized Formal Semantic Framework for Smart ContractsJiao Jiao, Shang-Wei Lin, Jun Sun 0001. 75-96 [doi]
- An Empirical Study on the Use and Misuse of Java 8 StreamsRaffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Baishakhi Ray. 97-118 [doi]
- Extracting Semantics from Question-Answering Services for Snippet ReuseThemistoklis Diamantopoulos, Nikolaos Oikonomou, Andreas L. Symeonidis. 119-139 [doi]
- Global Reproducibility Through Local Control for Distributed Active ObjectsLars Tveito, Einar Broch Johnsen, Rudolf Schlatte. 140-160 [doi]
- Multi-level Model Product Lines - Open and Closed Variability for Modelling Language FamiliesJuan de Lara, Esther Guerra. 161-181 [doi]
- Computing Program Reliability Using Forward-Backward Precondition Analysis and Model CountingAleksandar S. Dimovski, Axel Legay. 182-202 [doi]
- Skill-Based Verification of Cyber-Physical SystemsAlexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer. 203-223 [doi]
- Generating Large EMF Models Efficiently - A Rule-Based, Configurable ApproachNebras Nassar, Jens Kosiol, Timo Kehrer, Gabriele Taentzer. 224-244 [doi]
- Family-Based SPL Model Checking Using Parity Games with VariabilityMaurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse. 245-265 [doi]
- Model-Based Tool Support for Service DesignFrancisco J. Pérez Blanco, Juan M. Vara, Cristian Gómez, Valeria de Castro, Esperanza Marcos. 266-272 [doi]
- Incremental Concurrent Model Synchronization using Triple Graph GrammarsFernando Orejas, Elvira Pino, Marisa Navarro. 273-293 [doi]
- Statistical Model Checking for Variability-Intensive SystemsMaxime Cordy, Mike Papadakis, Axel Legay. 294-314 [doi]
- Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear ProgrammingNils Weidmann, Anthony Anjorin. 315-334 [doi]
- Towards Multiple Model Synchronization with Comprehensive SystemsPatrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle. 335-356 [doi]
- Analysis and Refactoring of Software Systems Using Performance Antipattern ProfilesRadu Calinescu, Vittorio Cortellessa, Ioannis Stefanakos, Catia Trubiani. 357-377 [doi]
- Business Process Compliance Using Reference Models of LawHugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt. 378-399 [doi]
- Algorithmic Analysis of Blockchain Efficiency with Communication DelayCarlos Pinzón, Camilo Rocha, Jorge Finke. 400-419 [doi]
- Holistic Specifications for Robust ProgramsSophia Drossopoulou, James Noble 0001, Julian Mackay, Susan Eisenbach. 420-440 [doi]
- Automated Generation of Consistent Graph Models with First-Order Logic Theorem ProversAren A. Babikian, Oszkár Semeráth, Dániel Varró. 441-461 [doi]
- Combining Partial Specifications using Alternating Interface AutomataRamon Janssen. 462-481 [doi]
- Revisiting Semantics of Interactions for Trace Validity AnalysisErwan Mahe, Christophe Gaston, Pascale Le Gall. 482-501 [doi]
- Second Competition on Software Testing: Test-Comp 2020Dirk Beyer 0001. 505-519 [doi]
- HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)Sebastian Ruland, Malte Lochau, Marie-Christine Jakobs. 520-524 [doi]
- 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. 525-529 [doi]
- TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution)Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha. 530-534 [doi]
- LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution)Hoang M. Le. 535-539 [doi]
- CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution)Marie-Christine Jakobs. 540-544 [doi]
- Legion: Best-First Concolic Testing (Competition Contribution)Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein. 545-549 [doi]