Model-Based Testing in Practice.

Mark R. Blackburn, Robert Busser, Aaron Nauman, Travis R. Morgan

Browse the full GI paper archive.