| Integrating Topological Proofs with Model Checking to Instrument Iterative Design
|
2020 |
Menghi, Claudio |
| Improving Symbolic Automata Learning with Concolic Execution
|
2020 |
Clun, Donato |
| Family-Based SPL Model Checking Using Parity Games with Variability
|
2020 |
Beek, Maurice H. ter |
| Skill-Based Verification of Cyber-Physical Systems
|
2020 |
Knüppel, Alexander |
| Incremental Concurrent Model Synchronization using Triple Graph Grammars
|
2020 |
Orejas, Fernando |
| Statistical Model Checking for Variability-Intensive Systems
|
2020 |
Cordy, Maxime |
| Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
|
2020 |
Weidmann, Nils |
| Business Process Compliance Using Reference Models of Law
|
2020 |
López, Hugo A. |
| Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
|
2020 |
Babikian, Aren A. |
| Second Competition on Software Testing: Test-Comp 2020
|
2020 |
Beyer, Dirk |
| Revisiting Semantics of Interactions for Trace Validity Analysis
|
2020 |
Mahe, Erwan |
| ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory (Competition Contribution)
|
2020 |
Gadelha, Mikhail R. |
| CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution)
|
2020 |
Jakobs, Marie-Christine |
| 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 |
Tag hinzufügen