| Combining Partial Specifications using Alternating Interface Automata
|
2020 |
Janssen, Ramon |
| TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution)
|
2020 |
Jaffar, Joxan |
| Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic
|
2020 |
Zheng, Guolong |
| An Empirical Study on the Use and Misuse of Java 8 Streams
|
2020 |
Khatchadourian, Raffi |
| Generating Large EMF Models Efficiently: A Rule-Based, Configurable Approach
|
2020 |
Nassar, Nebras |
| Towards Multiple Model Synchronization with Comprehensive Systems
|
2020 |
Stünkel, Patrick |
| Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles
|
2020 |
Calinescu, Radu |
| Holistic Specifications for Robust Programs
|
2020 |
Drossopoulou, Sophia |
| Algorithmic Analysis of Blockchain Efficiency with Communication Delay
|
2020 |
Pinzón, Carlos |
| A Generalized Formal Semantic Framework for Smart Contracts
|
2020 |
Jiao, Jiao |
| Extracting Semantics from Question-Answering Services for Snippet Reuse
|
2020 |
Diamantopoulos, Themistoklis |
| Global Reproducibility Through Local Control for Distributed Active Objects
|
2020 |
Tveito, Lars |
| Multi-level Model Product Lines: Open and Closed Variability for Modelling Language Families
|
2020 |
Lara, Juan de |
| Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
|
2020 |
Dimovski, Aleksandar S. |
| Model-Based Tool Support for Service Design
|
2020 |
Pérez-Blanco, Francisco J. |
| HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)
|
2020 |
Ruland, Sebastian |
| LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution)
|
2020 |
Le, Hoang M. |
| LEGION: Best-First Concolic Testing (Competition Contribution)
|
2020 |
Liu, Dongge |
| Integrating Topological Proofs with Model Checking to Instrument Iterative Design
|
2020 |
Menghi, Claudio |
| Improving Symbolic Automata Learning with Concolic Execution
|
2020 |
Clun, Donato |
Tag hinzufügen