[IEEE 2016 IEEE Information Technology, Networking, Electronic and Automation Control Conference (ITNEC) - Chongqing, China (2016.5.20-2016.5.22)] 2016 IEEE Information Technology, Networking, Electronic and Automation Control Conference - Redundant constraints elimination for symbolic execution
Zou, Quanchen, Huang, Wei, An, Jing, Fan, WenqingYear:
2016
Language:
english
DOI:
10.1109/itnec.2016.7560356
File:
PDF, 364 KB
english, 2016