基于布尔表达式约束的测试用例生成技术
孙溢1,阳小华1,刘杰1,余童兰1,吴志强2,陈智2
Test Case Generation Techniques Based on Constraints Presented as Boolean Expressions
SUN Yi1, YANG Xiao-hua1, LIU Jie1, YU Tong-lan1, WU Zhi-qiang2, CHEN Zhi2
计算机与现代化
.
2019, (01): 86
.
DOI: 10.3969/j.issn.1006-2475.2019.01.016
