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
Computer and Modernization . 2019, (01): 86 .  DOI: 10.3969/j.issn.1006-2475.2019.01.016