@文章{zbMATH05929614，作者={伊帕特，佛罗伦萨和B{\u{a}}l{\u}a}}nescu，都铎}，标题={来自{OR}状态细化设计的有限状态机测试}，FJournal={ROMAI Journal}，期刊={ROMAI J.}，ISSN={1841-5512}，体积={2}，数字={1}，页码={109--117}，年份={2006}，语言={英语}，关键词={68Q45,68Q60}，zbMATH＝{5929614}，Zbl={1240.68120}}