Verification of software product lines with delta-oriented slicing

DOI10.1007/978-3-642-18070-5_5MaRDI QIDQ3067535zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

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

Cites work

• scientific article; zbMATH DE number 986407 (Why is no real title available?)
• scientific article; zbMATH DE number 2090099 (Why is no real title available?)
• Program Slicing
• Slicing software for model construction
• Slicing techniques for verification re-use
• Software Product Line Engineering

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

Describes a project that uses

Uses Software

• Chianti
• JML

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)