机译:ATGen:使用约束逻辑编程和符号执行自动生成测试数据
software testing; automatic test data generation; symbolic execution;
机译:KLOVER:使用符号执行为C和C ++程序自动生成测试
机译:使用约束逻辑编程和程序转换有效生成测试数据结构
机译:SQL代码的关系符号执行,用于数据库程序的单元测试
机译:通过程序生成和差异测试自动测试符号执行引擎
机译:自动测试用例生成具有用于编码接口和注释或使用本机代码编码的程序的动态符号执行
机译:基于约束逻辑编程的故障定位重量优先切片
机译:通过程序生成和差分测试自动测试符号执行引擎
机译:使用符号执行和不变生成验证Java程序