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 / Esther Guerra, Mariëlle Stoelinga (eds.).
FASE (Conference) (24th : 2021 : Online); Guerra, Esther, editor; Stoelinga, Mariëlle, editor.; ETAPS (Conference) (24th : 2021 : Online)
2021
QA76.758 .F37 2021eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Open access
Document Delivery Supplied Open access

Details

Title 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 / Esther Guerra, Mariëlle Stoelinga (eds.).
Meeting Name FASE (Conference) (24th : 2021 : Online)
ISBN 9783030715007 (electronic bk.)
3030715000 (electronic bk.)
3030714993
9783030714994
9783030715014 (print)
3030715019
9783030714994 (print)
DOI https://doi.org/10.1007/978-3-030-71500-7
Published Cham, Switzerland : Springer, 2021.
Language English
Description 1 online resource (xiv, 373 pages) : illustrations
Item Number 10.1007/978-3-030-71500-7 doi
Call Number QA76.758 .F37 2021eb
Dewey Decimal Classification 005.1
Summary This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27-April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
Note International conference proceedings.
"Because of the Covid-19 pandemic, this was changed to an online event."--Preface
Includes author index.
Access Note Open access.
Digital File Characteristics text file
PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed April 2, 2021).
Added Author Guerra, Esther, editor
Stoelinga, Mariëlle, editor.
Added Meeting Name ETAPS (Conference) (24th : 2021 : Online)
Series Lecture notes in computer science ; 12649.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form Print version: 9783030714994
Print version: 9783030715014
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
FASE Contributions
On Benchmarking for Concurrent Runtime Verification
Certified Abstract Cost Analysis
Bootstrapping Automated Testing for RESTful Web Services
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features
Finding a Universal Execution Strategy for Model Transformation Networks
CoVEGI: Cooperative Veri cation via Externally Generated Invariants
Engineering Secure Self-Adaptive Systems with Bayesian Games
An Abstract Contract Theory for Programs with Procedures
Paracosm: A Test Framework for Autonomous Driving Simulations
Compositional Analysis of Probabilistic Timed Graph Transformation Systems
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
Effects of Program Representation on Pointer Analyses
An Empirical Study
Keeping Pace with the History of Evolving Runtime Models
SpecTest: Specification-Based Compiler Testing
PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems
Understanding Local Robustness of Deep Neural Networks under Natural Variations
Test-Comp Contributions
Status Report on Software Testing: Test-Comp 2021
CoVeriTest with Adaptive Time Scheduling (Competition Contribution)
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)
Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).

Browse Subjects

Show more subjects...

Statistics

from
to
Export