机译:使用约束逻辑编程和程序转换有效生成测试数据结构
Univ G DAnnunzio, Pescara, Italy;
IASI CNR, Rome, Italy;
IMT Inst Adv Studies Lucca, I-55100 Lucca, Italy;
Black-box testing; generation of data structures; bounded exhaustive testing; constraint logic programming; program transformation;
机译:ATGen:使用约束逻辑编程和符号执行自动生成测试数据
机译:使用约束逻辑编程自动生成测试用例中的前导码
机译:使用路径枚举和约束编程从行为VHDL程序生成设计验证测试
机译:使用约束逻辑编程生成测试数据结构
机译:使用约束编程来增强测试数据的生成。
机译:约束逻辑程序设计方法用于蛋白质结构预测
机译:使用约束逻辑编程和程序转换有效生成测试数据结构