TorX: automated model based testing,” (2003)

by J Tretmans, E Brinksma
Venue:in Proceedings of the 1st European Conference onModelDriven Software Engineering (ECMDSE ’03),