Input-output conformance testing for software product lines

DOI10.1016/J.JLAMP.2016.09.007zbMath1392.68144DBLPjournals/jlp/BeoharM16OpenAlexW2524267826WikidataQ57745478 ScholiaQ57745478MaRDI QIDQ338614

Mohammad Hasan, M. Dambrine

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

zbMATH Keywords

model-based testinginput-output conformance testinginput-output featured transition systemssoftware product lines

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Logical characterisations, rule formats and compositionality for input-output conformance simulation

Uses Software

• mCRL2

Cites Work

• Unnamed Item
• Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings
• Model-based testing of reactive systems. Advanced lectures.
• Incremental Model-Based Testing of Delta-Oriented Software Product Lines
• Modular Modelling of Software Product Lines with Feature Nets
• An Overview of the mCRL2 Toolset and Its Recent Advances
• Modal I/O Automata for Interface and Product Line Theories

This page was built for publication: Input-output conformance testing for software product lines