default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd FASE@ETAPS 2020: Dublin, Ireland
- Heike Wehrheim
, Jordi Cabot:
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. Lecture Notes in Computer Science 12076, Springer 2020, ISBN 978-3-030-45233-9
Invited Talk
- Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser:
Improving Symbolic Automata Learning with Concolic Execution. 3-26
FASE Contributions
- Guolong Zheng, Hamid Bagheri, Gregg Rothermel, Jianghao Wang:
Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic. 29-52 - Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi:
Integrating Topological Proofs with Model Checking to Instrument Iterative Design. 53-74 - Jiao Jiao, Shang-Wei Lin, Jun Sun:
A Generalized Formal Semantic Framework for Smart Contracts. 75-96 - Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Baishakhi Ray:
An Empirical Study on the Use and Misuse of Java 8 Streams. 97-118 - Themistoklis Diamantopoulos, Nikolaos Oikonomou, Andreas L. Symeonidis:
Extracting Semantics from Question-Answering Services for Snippet Reuse. 119-139 - Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte:
Global Reproducibility Through Local Control for Distributed Active Objects. 140-160 - Juan de Lara, Esther Guerra:
Multi-level Model Product Lines - Open and Closed Variability for Modelling Language Families. 161-181 - Aleksandar S. Dimovski, Axel Legay:
Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. 182-202 - Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer:
Skill-Based Verification of Cyber-Physical Systems. 203-223 - Nebras Nassar, Jens Kosiol, Timo Kehrer, Gabriele Taentzer:
Generating Large EMF Models Efficiently - A Rule-Based, Configurable Approach. 224-244 - Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse:
Family-Based SPL Model Checking Using Parity Games with Variability. 245-265 - Francisco J. Pérez Blanco, Juan M. Vara, Cristian Gómez Macías, Valeria de Castro, Esperanza Marcos:
Model-Based Tool Support for Service Design. 266-272 - Fernando Orejas, Elvira Pino, Marisa Navarro:
Incremental Concurrent Model Synchronization using Triple Graph Grammars. 273-293 - Maxime Cordy, Mike Papadakis, Axel Legay:
Statistical Model Checking for Variability-Intensive Systems. 294-314 - Nils Weidmann, Anthony Anjorin:
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming. 315-334 - Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle:
Towards Multiple Model Synchronization with Comprehensive Systems. 335-356 - Radu Calinescu, Vittorio Cortellessa, Ioannis Stefanakos, Catia Trubiani:
Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. 357-377 - Hugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt:
Business Process Compliance Using Reference Models of Law. 378-399 - Carlos Pinzón, Camilo Rocha, Jorge Finke:
Algorithmic Analysis of Blockchain Efficiency with Communication Delay. 400-419 - Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach:
Holistic Specifications for Robust Programs. 420-440 - Aren A. Babikian, Oszkár Semeráth, Dániel Varró:
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. 441-461 - Ramon Janssen:
Combining Partial Specifications using Alternating Interface Automata. 462-481 - Erwan Mahe, Christophe Gaston, Pascale Le Gall:
Revisiting Semantics of Interactions for Trace Validity Analysis. 482-501
Test-Comp Contributions
- Dirk Beyer:
Second Competition on Software Testing: Test-Comp 2020. 505-519 - Sebastian Ruland, Malte Lochau, Marie-Christine Jakobs:
HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution). 520-524 - Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole:
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution). 525-529 - Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha:
TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). 530-534 - Hoang M. Le:
LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution). 535-539 - Marie-Christine Jakobs:
CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution). 540-544 - Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein:
Legion: Best-First Concolic Testing (Competition Contribution). 545-549
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
