most citedTowards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata

6 citations · 6 across the 1 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2019

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata -- Technical Report

Lars Luthmann, Hendrik Göttmann, Malte Lochau

I/O conformance testing theories (e.g., ioco) are concerned with formally defining when observable output behaviors of an implementation conform to those permitted by a specificati…