Component based testing with ioco. (2004)

by Machiel van der Bijl, Arend Rensink, Jan Tretmans
Venue:FATES 2003 — Formal Apporaches to Testing of Software,