Input–output conformance testing for software product lines
- Submitting institution
-
The University of Leicester
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 4077
- Type
- D - Journal article
- DOI
-
10.1016/j.jlamp.2016.09.007
- Title of journal
- Journal of Logical and Algebraic Methods in Programming
- Article number
- -
- First page
- 1131
- Volume
- 85
- Issue
- 6
- ISSN
- 2352-2208
- Open access status
- Compliant
- Month of publication
- October
- Year of publication
- 2016
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
-
- Research group(s)
-
-
- Citation count
- 4
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This is the first paper to define a notion of input-output conformance testing for software product lines and proposes one of the first formal notions of conformance for software product lines. Published in one of the major journals of the field, it consolidates the results in previous versions in (MBT’14 and SAC’14). The results have already been picked up by the group of Malte Lochau at TU Darmstadt (FACS 2016, SCP 2019), Shaukat Ali at Simula and Fuyuki Ishikawa at NII Tokyo (GECCO 2019), where they extended our theory and algorithm to, respectively, timed variability-intensive systems and multi-product lines.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -