SUT models for Flex, Grep, and Make
收藏Figshare2018-01-12 更新2026-04-08 收录
下载链接：
https://figshare.com/articles/SUT_models_for_Flex_Grep_and_Make/5782380/1
下载链接
链接失效反馈官方服务：
资源简介：
SUT (System Under Test) models to create test cases. <br>Models for projects flex, grep, and make, which are made from corresponding test speification (.tsl) files in SIR repository. <br>.calot: Input models to t-way test generation tool Calot. <br>.model: Parameters and values without constraints.<br>.dimacs: SUT constraints.<br>
创建时间：
2018-01-12
