↓ Skip to main content
What is this page? Embed badge

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
Attention for Chapter 14: SpecTest: Specification-Based Compiler Testing
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
9 Mendeley
Summary Dimensions citations
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.
Chapter title
SpecTest: Specification-Based Compiler Testing
Chapter number 14
Book title
Fundamental Approaches to Software Engineering
Published by
Springer, Cham, March 2021
DOI 10.1007/978-3-030-71500-7_14
Book ISBNs
978-3-03-071499-4, 978-3-03-071500-7
Authors

Richard Schumi, Jun Sun, Schumi, Richard, Sun, Jun

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 9 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 9 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 44%
Researcher 1 11%
Student > Doctoral Student 1 11%
Unknown 3 33%
Readers by discipline Count As %
Computer Science 5 56%
Business, Management and Accounting 1 11%
Unknown 3 33%

This page is provided by Altmetric.