Model mining and efficient verification of software product lines
From MaRDI portal
Recommendations
- Verification of software product lines with delta-oriented slicing
- Modular modelling of software product lines with feature nets
- Trustworthy variant derivation with translation validation for safety critical product lines
- Family-based SPL model checking using parity games with variability
- Delta modeling and model checking of product families
Cited in
(13)- Probabilistic software product lines
- FCA for software product line representation: mixing configuration and feature relationships in a unique canonical representation
- scientific article; zbMATH DE number 2090099 (Why is no real title available?)
- Foreword to the special issue on formal methods for software product line engineering
- Product line process theory
- Input-output conformance testing for software product lines
- Trustworthy variant derivation with translation validation for safety critical product lines
- Improving software product line using an ontological approach
- Incremental model checking of delta-oriented software product lines
- Modeling product lines with Kripke structures and modal logic
- Verification of software product lines with delta-oriented slicing
- Modular modelling of software product lines with feature nets
- scientific article; zbMATH DE number 2087801 (Why is no real title available?)
This page was built for publication: Model mining and efficient verification of software product lines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4639981)
