default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th FASE@ETAPS 2021: Luxembourg
- Esther Guerra
, Mariëlle Stoelinga:
Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. Lecture Notes in Computer Science 12649, Springer 2021, ISBN 978-3-030-71499-4
FASE Contributions
- Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
On Benchmarking for Concurrent Runtime Verification. 3-23 - Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel:
Certified Abstract Cost Analysis. 24-45 - Yixiong Chen, Yang Yang, Zhanyao Lei, Mingyuan Xia, Zhengwei Qi:
Bootstrapping Automated Testing for RESTful Web Services. 46-66 - Aleksandar S. Dimovski, Sven Apel, Axel Legay:
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features. 67-86 - Joshua Gleitze, Heiko Klare, Erik Burger:
Finding a Universal Execution Strategy for Model Transformation Networks. 87-107 - Jan Haltermann, Heike Wehrheim:
CoVEGI: Cooperative Verification via Externally Generated Invariants. 108-129 - Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan:
Engineering Secure Self-Adaptive Systems with Bayesian Games. 130-151 - Christian Lidström, Dilian Gurov:
An Abstract Contract Theory for Programs with Procedures. 152-171 - Rupak Majumdar, Aman Shankar Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey:
Paracosm: A Test Framework for Autonomous Driving Simulations. 172-195 - Maria Maximova, Sven Schneider, Holger Giese:
Compositional Analysis of Probabilistic Timed Graph Transformation Systems. 196-217 - Pablo Ponzio, Ariel Godio, Nicolás Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias:
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. 218-239 - Jyoti Prakash, Abhishek Tiwari, Christian Hammer:
Effects of Program Representation on Pointer Analyses - An Empirical Study. 240-261 - Lucas Sakizloglou, Matthias Barkowsky, Holger Giese:
Keeping Pace with the History of Evolving Runtime Models. 262-268 - Richard Schumi, Jun Sun:
SpecTest: Specification-Based Compiler Testing. 269-291 - Yong-Jun Shin, Eunho Cho, Doo-Hwan Bae:
PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems. 292-312 - Ziyuan Zhong, Yuchi Tian, Baishakhi Ray:
Understanding Local Robustness of Deep Neural Networks under Natural Variations. 313-337
Test-Comp Contributions
- Dirk Beyer:
Status Report on Software Testing: Test-Comp 2021. 341-357 - Marie-Christine Jakobs, Cedric Richter:
CoVeriTest with Adaptive Time Scheduling (Competition Contribution). 358-362 - Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro:
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution). 363-367 - Marek Chalupa, Jakub Novák, Jan Strejcek:
Symbiotic 8: Parallel and Targeted Test Generation - (Competition Contribution). 368-372
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-10-25 20:01 CEST 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:
