Incremental Model-Based Testing of Delta-Oriented Software Product Lines

DOI10.1007/978-3-642-30473-6_7zbMath1354.68059OpenAlexW116291049MaRDI QIDQ2900181

Ina Schaefer, Sascha Lity, Malte Lochau, Jochen Kamischke

Publication date: 20 July 2012

Published in: Tests and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30473-6_7

zbMATH Keywords

model-based testingregression testingdelta-oriented software product lines

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

A core calculus for dynamic delta-oriented programming ⋮ Input-output conformance testing for software product lines ⋮ Incremental model checking of delta-oriented software product lines ⋮ Model-Based Testing

This page was built for publication: Incremental Model-Based Testing of Delta-Oriented Software Product Lines