Abstract is missing.
- On Benchmarking for Concurrent Runtime VerificationLuca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir. 3-23 [doi]
- Certified Abstract Cost AnalysisElvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel. 24-45 [doi]
- Bootstrapping Automated Testing for RESTful Web ServicesYixiong Chen, Yang Yang, Zhanyao Lei, Mingyuan Xia, Zhengwei Qi. 46-66 [doi]
- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical FeaturesAleksandar S. Dimovski, Sven Apel, Axel Legay. 67-86 [doi]
- Finding a Universal Execution Strategy for Model Transformation NetworksJoshua Gleitze, Heiko Klare, Erik Burger. 87-107 [doi]
- CoVEGI: Cooperative Verification via Externally Generated InvariantsJan Haltermann, Heike Wehrheim. 108-129 [doi]
- Engineering Secure Self-Adaptive Systems with Bayesian GamesNianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan. 130-151 [doi]
- An Abstract Contract Theory for Programs with ProceduresChristian Lidström, Dilian Gurov. 152-171 [doi]
- Paracosm: A Test Framework for Autonomous Driving SimulationsRupak Majumdar, Aman Shankar Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey. 172-195 [doi]
- Compositional Analysis of Probabilistic Timed Graph Transformation SystemsMaria Maximova, Sven Schneider 0001, Holger Giese. 196-217 [doi]
- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field BoundsPablo Ponzio, Ariel Godio, Nicolás Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias. 218-239 [doi]
- Effects of Program Representation on Pointer Analyses - An Empirical StudyJyoti Prakash, Abhishek Tiwari, Christian Hammer 0001. 240-261 [doi]
- Keeping Pace with the History of Evolving Runtime ModelsLucas Sakizloglou, Matthias Barkowsky, Holger Giese. 262-268 [doi]
- SpecTest: Specification-Based Compiler TestingRichard Schumi, Jun Sun. 269-291 [doi]
- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive SystemsYong-Jun Shin, Eunho Cho, Doo-Hwan Bae. 292-312 [doi]
- Understanding Local Robustness of Deep Neural Networks under Natural VariationsZiyuan Zhong, Yuchi Tian, Baishakhi Ray. 313-337 [doi]
- Status Report on Software Testing: Test-Comp 2021Dirk Beyer 0001. 341-357 [doi]
- CoVeriTest with Adaptive Time Scheduling (Competition Contribution)Marie-Christine Jakobs, Cedric Richter. 358-362 [doi]
- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro. 363-367 [doi]
- Symbiotic 8: Parallel and Targeted Test Generation - (Competition Contribution)Marek Chalupa, Jakub Novák, Jan Strejcek. 368-372 [doi]