詹姆斯·巴克斯特;安娜·卡瓦尔坎蒂;马西耶·加兹达;Robert M.Hierons。 使用CSP模型进行测试:时间、输入和输出。 (英语) Zbl 07672676号 ACM事务处理。计算。日志。 24,第2号,第17号文件,第40页(2023).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Baxter}等人,ACM Trans。计算。日志。24,第2号,第17号论文,40页(2023;Zbl 07672676) 全文: DOI程序 链接
哈辛托·里斯;亚历山大·莫塔 使用修剪的GUI模型帮助进行探索性测试。 (英语) Zbl 1426.68060号 信息处理。莱特。 133, 49-55 (2018).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Reis}和\textit{A.Mota},Inf.过程。莱特。133、49-55(2018;Zbl 1426.68060) 全文: DOI程序 链接
古斯塔沃·卡瓦略;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 根据自然语言要求对定时反应系统进行建模。 (英语) Zbl 1345.93024号 正式Asp。计算。 28,第5期,725-765(2016).MSC公司:93A30型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Carvalho}等人,《正式Asp》。计算。28,第5号,725--765(2016;Zbl 1345.93024) 全文: DOI程序 链接