8 citations · 18 across the 8 of their papers we have counts for
1 paper · 2 filters
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…