@收款{zbMATH02235324，作者={Blom，Johan and Hessel，Anders and Jonsson，Bengt and Pettersson，Paul}，Title={使用观察者自动机指定和生成测试用例}，BookTitle={软件测试的正式方法。第四届国际研讨会，《命运2004》，奥地利林茨，2004年9月21日。修改选定论文。}，国际标准图书编号={3-540-25109-X}，页码={125--139}，年份={2005}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/b106767}，关键词={68N30}，zbMATH={2235324}，Zbl={1081.68566}}