↓ Skip to main content

Fundamental Approaches to Software Engineering

Overview of attention for book
Cover of 'Fundamental Approaches to Software Engineering'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 On Benchmarking for Concurrent Runtime Verification
  3. Altmetric Badge
    Chapter 2 Certified Abstract Cost Analysis
  4. Altmetric Badge
    Chapter 3 Bootstrapping Automated Testing for RESTful Web Services
  5. Altmetric Badge
    Chapter 4 A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features
  6. Altmetric Badge
    Chapter 5 Finding a Universal Execution Strategy for Model Transformation Networks
  7. Altmetric Badge
    Chapter 6 CoVEGI: Cooperative Verification via Externally Generated Invariants
  8. Altmetric Badge
    Chapter 7 Engineering Secure Self-Adaptive Systems with Bayesian Games
  9. Altmetric Badge
    Chapter 8 An Abstract Contract Theory for Programs with Procedures
  10. Altmetric Badge
    Chapter 9 Paracosm: A Test Framework for Autonomous Driving Simulations
  11. Altmetric Badge
    Chapter 10 Compositional Analysis of Probabilistic Timed Graph Transformation Systems
  12. Altmetric Badge
    Chapter 11 Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
  13. Altmetric Badge
    Chapter 12 Effects of Program Representation on Pointer Analyses — An Empirical Study
  14. Altmetric Badge
    Chapter 13 Keeping Pace with the History of Evolving Runtime Models
  15. Altmetric Badge
    Chapter 14 SpecTest: Specification-Based Compiler Testing
  16. Altmetric Badge
    Chapter 15 PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems
  17. Altmetric Badge
    Chapter 16 Understanding Local Robustness of Deep Neural Networks under Natural Variations
  18. Altmetric Badge
    Chapter 17 Status Report on Software Testing: Test-Comp 2021
  19. Altmetric Badge
    Chapter 18 CoVeriTest with Adaptive Time Scheduling (Competition Contribution)
  20. Altmetric Badge
    Chapter 19 FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)
  21. Altmetric Badge
    Chapter 20 Symbiotic  8: Parallel and Targeted Test Generation
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
1 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Fundamental Approaches to Software Engineering
Published by
Springer International Publishing, January 2021
DOI 10.1007/978-3-030-71500-7
ISBNs
978-3-03-071499-4, 978-3-03-071500-7
Editors

Esther Guerra, Mariëlle Stoelinga

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.