Compositional Testing with ioco - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Machiel van der Bijl, Arend Rensink, Jan Tretmans. Compositional Testing with ioco. In Alexandre Petrenko, Andreas Ulrich, editors, Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Volume 2931 of Lecture Notes in Computer Science, pages 86-100, Springer, 2003. [doi]

This author has not been identified. Look up 'Machiel van der Bijl' in GoogleIdentified as Arend Rensink This author has not been identified. Look up 'Jan Tretmans' in Google

runs on WebDSL