Theoretical Computer Science and General Issues Advanced Research in Computing and Software Science
cover
Open Access This content is freely available online to anyone, anywhere at any time.

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

Editors: Guerra, Esther, Stoelinga, Mariëlle (Eds.)

Buy this book

eBook  
  • ISBN 978-3-030-71500-7
  • This book is an open access book, you can download it for free on link.springer.com
Softcover $49.99
price for USA in USD
  • ISBN 978-3-030-71499-4
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

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. 

Table of contents (20 chapters)

Table of contents (20 chapters)
  • On Benchmarking for Concurrent Runtime Verification

    Pages 3-23

    Aceto, Luca (et al.)

  • Certified Abstract Cost Analysis

    Pages 24-45

    Albert, Elvira (et al.)

  • Bootstrapping Automated Testing for RESTful Web Services

    Pages 46-66

    Chen, Yixiong (et al.)

  • A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features

    Pages 67-86

    Dimovski, Aleksandar S. (et al.)

  • Finding a Universal Execution Strategy for Model Transformation Networks

    Pages 87-107

    Gleitze, Joshua (et al.)

Buy this book

eBook  
  • ISBN 978-3-030-71500-7
  • This book is an open access book, you can download it for free on link.springer.com
Softcover $49.99
price for USA in USD
  • ISBN 978-3-030-71499-4
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Fundamental Approaches to Software Engineering
Book Subtitle
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
Editors
  • Esther Guerra
  • Mariëlle Stoelinga
Series Title
Theoretical Computer Science and General Issues
Series Volume
12649
Copyright
2021
Publisher
Springer International Publishing
Copyright Holder
The Editor(s) (if applicable) and The Author(s)
eBook ISBN
978-3-030-71500-7
DOI
10.1007/978-3-030-71500-7
Softcover ISBN
978-3-030-71499-4
Edition Number
1
Number of Pages
XIV, 373
Number of Illustrations
95 b/w illustrations
Topics