18 citations · 26 across the 2 of their papers we have counts for
2 papers
cs.SE2014★ 18 cited
Generating Complete and Finite Test Suite for ioco: Is It Possible?
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…
cs.SE2014★ 8 cited
Proceedings Ninth Workshop on Model-Based Testing
Holger Schlingloff, Alexander K. Petrenko
This volume contains the proceedings of the Ninth Workshop on Model-Based Testing (MBT 2014), which was held in Grenoble, France on April 6, 2014 as a satellite workshop of the Eur…