Get your next eBook for only 9.99! Stock up on Springer Protocols! Available through Aug 17, 2018.

Theoretical Computer Science and General Issues Advanced Research in Computing and Software Science

Fundamental Approaches to Software Engineering

20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Editors: Huisman, Marieke, Rubin, Julia (Eds.)

Buy this book

eBook $64.99
price for USA in USD (gross)
  • ISBN 978-3-662-54494-5
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.99
price for USA in USD
  • ISBN 978-3-662-54493-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 23 papers presented in this volume were carefully reviewed and selected from 91 submissions. They were organized in topical sections named: learning and inference; test selection; program and system analysis; graph modeling and transformation; model transformations; configuration and synthesis; and software product lines. 

Table of contents (25 chapters)

  • Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study

    Wang, Jingyi (et al.)

    Pages 3-21

  • Bordeaux: A Tool for Thinking Outside the Box

    Montaghami, Vajih (et al.)

    Pages 22-39

  • Bucketing Failing Tests via Symbolic Analysis

    Pham, Van-Thuan (et al.)

    Pages 43-59

  • Selective Bisection Debugging

    Saha, Ripon (et al.)

    Pages 60-77

  • On the Effectiveness of Bug Predictors with Procedural Systems: A Quantitative Study

    Araújo, Cristiano Werner (et al.)

    Pages 78-95

Buy this book

eBook $64.99
price for USA in USD (gross)
  • ISBN 978-3-662-54494-5
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.99
price for USA in USD
  • ISBN 978-3-662-54493-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Fundamental Approaches to Software Engineering
Book Subtitle
20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Editors
  • Marieke Huisman
  • Julia Rubin
Series Title
Theoretical Computer Science and General Issues
Series Volume
10202
Copyright
2017
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Germany
eBook ISBN
978-3-662-54494-5
DOI
10.1007/978-3-662-54494-5
Softcover ISBN
978-3-662-54493-8
Edition Number
1
Number of Pages
XIII, 444
Number of Illustrations and Tables
130 b/w illustrations
Topics