@书籍{zbMATH06314007，作者={张，健，张，志强，马，菲菲}，标题={组合测试数据的自动生成}，F系列={SpringerBriefs in Computer Science}，Series={SpringerBriefs计算科学}，ISSN={2191-5768}，国际标准图书编号={978-3-662-43428-4；978-3-562-43429-1}，年份={2014}，出版商={海德堡：施普林格}，语言={英语}，DOI={10.1007/978-3-662-43429-1}，关键词={68-02,05B15,68M15,68N30,68R05,68T20}，zbMATH={6314007}，Zbl={1329.68009}}