中图分类法:	TP306 版次：
题名:	Model-based testing of reactive systems : [ advanced lectures /] / ,
出版发行:	出版地： Berlin : 出版社： Springer, 出版日期： c2005.
载体形态:	viii, 659 p. : ill. ; 24 cm.
主题词:	Systems software Testing.
主题词:	Information technology Testing.
主要责任者:	Broy, M.,