6 citations · 14 across the 5 of their papers we have counts for
1 paper · 1 filter
Lars Luthmann, Stephan Mennicke, Malte Lochau
We propose an input/output conformance testing theory utilizing Modal Interface Automata with Input Refusals (IR-MIA) as novel behavioral formalism for both the specification and t…