default search action
23rd 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
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
Integrating Topological Proofs with Model Checking to Instrument Iterative Design. 53-74 - Jiao Jiao
A Generalized Formal Semantic Framework for Smart Contracts. 75-96 - Raffi Khatchadourian
An Empirical Study on the Use and Misuse of Java 8 Streams. 97-118 - Themistoklis Diamantopoulos
Extracting Semantics from Question-Answering Services for Snippet Reuse. 119-139 - Lars Tveito, Einar Broch Johnsen
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
Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. 182-202 - Alexander Knüppel
Skill-Based Verification of Cyber-Physical Systems. 203-223 - Nebras Nassar
Generating Large EMF Models Efficiently - A Rule-Based, Configurable Approach. 224-244 - Maurice H. ter Beek
Family-Based SPL Model Checking Using Parity Games with Variability. 245-265 - Francisco J. Pérez Blanco
Model-Based Tool Support for Service Design. 266-272 - Fernando Orejas
Incremental Concurrent Model Synchronization using Triple Graph Grammars. 273-293 - Maxime Cordy
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
Towards Multiple Model Synchronization with Comprehensive Systems. 335-356 - Radu Calinescu
Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. 357-377 - Hugo A. López
Business Process Compliance Using Reference Models of Law. 378-399 - Carlos Pinzón, Camilo Rocha
Algorithmic Analysis of Blockchain Efficiency with Communication Delay. 400-419 - Sophia Drossopoulou
Holistic Specifications for Robust Programs. 420-440 - Aren A. Babikian
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
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
HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution). 520-524 - Mikhail Y. R. Gadelha
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution). 525-529 - Joxan Jaffar
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
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-11-30 00:03 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: