Verification of software product lines with delta-oriented slicing
DOI10.1007/978-3-642-18070-5_5zbMATH Open1308.68038OpenAlexW2173900622MaRDI QIDQ3067535FDOQ3067535
Authors: Daniel Bruns, Vladimir Klebanov, Ina Schaefer 
Publication date: 21 January 2011
Published in: Formal Verification of Object-Oriented Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-18070-5_5
Recommendations
- Delta modeling and model checking of product families
- Model mining and efficient verification of software product lines
- Incremental model-based testing of delta-oriented software product lines
- Compositional type checking of delta-oriented software product lines
- A core calculus for dynamic delta-oriented programming
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cites Work
Cited In (7)
- Foreword to the special issue on formal methods for software product line engineering
- Trustworthy variant derivation with translation validation for safety critical product lines
- A proof system for adaptable class hierarchies
- Model mining and efficient verification of software product lines
- Delta modeling and model checking of product families
- Incremental model-based testing of delta-oriented software product lines
- Compositional type checking of delta-oriented software product lines
Uses Software
This page was built for publication: Verification of software product lines with delta-oriented slicing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3067535)
