Input-output conformance testing for software product lines
From MaRDI portal
Publication:338614
DOI10.1016/j.jlamp.2016.09.007zbMath1392.68144WikidataQ57745478 ScholiaQ57745478MaRDI QIDQ338614
Publication date: 7 November 2016
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.09.007
model-based testing; input-output conformance testing; input-output featured transition systems; software product lines
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software