| Effects of Program Representation on Pointer Analyses — An Empirical Study
|
2021 |
Prakash, Jyoti |
| Symbiotic 8: Parallel and Targeted Test Generation: (Competition Contribution)
|
2021 |
Chalupa, Marek |
| CoVEGI: Cooperative Verification via Externally Generated Invariants
|
2021 |
Haltermann, Jan |
| Finding a Universal Execution Strategy for Model Transformation Networks
|
2021 |
Gleitze, Joshua |
| An Abstract Contract Theory for Programs with Procedures
|
2021 |
Lidström, Christian |
| Paracosm: A Test Framework for Autonomous Driving Simulations
|
2021 |
Majumdar, Rupak |
| PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems
|
2021 |
Shin, Yong-Jun |
| Understanding Local Robustness of Deep Neural Networks under Natural Vanations
|
2021 |
Zhong, Ziyuan |
| FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)
|
2021 |
Alshmrany, Kaled M. |
| On Benchmarking for Concurrent Runtime Verification
|
2021 |
Aceto, Luca |
| Status Report on Software Testing: Test-Comp 2021
|
2021 |
Beyer, Dirk |
| CoVeriTest with Adaptive Time Scheduling (Competition Contribution)
|
2021 |
Jakobs, Marie-Christine |
| Bootstrapping Automated Testing for RESTful Web Services
|
2021 |
Chen, Yixiong |
| Certified Abstract Cost Analysis
|
2021 |
Albert, Elvira |
| A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features
|
2021 |
Dimovski, Aleksandar S. |
| Engineering Secure Self-Adaptive Systems with Bayesian Games
|
2021 |
Li, Nianyu |
| Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
|
2021 |
Ponzio, Pablo |
| Compositional Analysis of Probabilistic Timed Graph Transformation Systems
|
2021 |
Maximova, Maria |
| SpecTest: Specification-Based Compiler Testing
|
2021 |
Schumi, Richard |
| Keeping Pace with the History of Evolving Runtime Models
|
2021 |
Sakizloglou, Lucas |
Tag hinzufügen