↓ 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 Improving Symbolic Automata Learning with Concolic Execution
  3. Altmetric Badge
    Chapter 2 Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic
  4. Altmetric Badge
    Chapter 3 Integrating Topological Proofs with Model Checking to Instrument Iterative Design
  5. Altmetric Badge
    Chapter 4 A Generalized Formal Semantic Framework for Smart Contracts
  6. Altmetric Badge
    Chapter 5 An Empirical Study on the Use and Misuse of Java 8 Streams
  7. Altmetric Badge
    Chapter 6 Extracting Semantics from Question-Answering Services for Snippet Reuse
  8. Altmetric Badge
    Chapter 7 Global Reproducibility Through Local Control for Distributed Active Objects
  9. Altmetric Badge
    Chapter 8 Multi-level Model Product Lines
  10. Altmetric Badge
    Chapter 9 Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
  11. Altmetric Badge
    Chapter 10 Skill-Based Verification of Cyber-Physical Systems
  12. Altmetric Badge
    Chapter 11 Generating Large EMF Models Efficiently
  13. Altmetric Badge
    Chapter 12 Family-Based SPL Model Checking Using Parity Games with Variability
  14. Altmetric Badge
    Chapter 13 Model-Based Tool Support for Service Design
  15. Altmetric Badge
    Chapter 14 Incremental Concurrent Model Synchronization using Triple Graph Grammars
  16. Altmetric Badge
    Chapter 15 Statistical Model Checking for Variability-Intensive Systems
  17. Altmetric Badge
    Chapter 16 Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
  18. Altmetric Badge
    Chapter 17 Towards Multiple Model Synchronization with Comprehensive Systems
  19. Altmetric Badge
    Chapter 18 Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles
  20. Altmetric Badge
    Chapter 19 Business Process Compliance Using Reference Models of Law
  21. Altmetric Badge
    Chapter 20 Algorithmic Analysis of Blockchain Efficiency with Communication Delay
  22. Altmetric Badge
    Chapter 21 Holistic Specifications for Robust Programs
  23. Altmetric Badge
    Chapter 22 Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
  24. Altmetric Badge
    Chapter 23 Combining Partial Specifications using Alternating Interface Automata
  25. Altmetric Badge
    Chapter 24 Revisiting Semantics of Interactions for Trace Validity Analysis
  26. Altmetric Badge
    Chapter 25 Second Competition on Software Testing: Test-Comp 2020
  27. Altmetric Badge
    Chapter 26 HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)
  28. Altmetric Badge
    Chapter 27 ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory
  29. Altmetric Badge
    Chapter 28 TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution)
  30. Altmetric Badge
    Chapter 29 LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution)
  31. Altmetric Badge
    Chapter 30 CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution)
  32. Altmetric Badge
    Chapter 31 Legion : Best-First Concolic Testing (Competition Contribution)
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
6 X users

Citations

dimensions_citation
3 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, June 2020
DOI 10.1007/978-3-030-45234-6
ISBNs
978-3-03-045233-9, 978-3-03-045234-6
Editors

Wehrheim, Heike, Cabot, Jordi

X Demographics

X Demographics

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