Adrián Riesco：使用Maude中指定的语义生成测试用例。(2012) conf/ictac/Riesco12 10.1007/978-3-642-32943-2_7 使用Maude中指定的语义生成测试用例。 1 阿德里安·里斯科0001 1 90-104 ICTAC公司 ICTAC公司 2012 2012 dblp记录“conf/ictac/Riesco12”的RDF数据的来源信息 2019-08-29T07:45:05+0200