18 citations · 18 across the 1 of their papers we have counts for
1 paper
Adenilso Simao, Alexandre Petrenko
Testing from Input/Output Transition Systems has been intensely investigated. The conformance between the implementation and the specification is often determined by the so-called…