IEEE - Institute of Electrical and Electronics Engineers, Inc. - Dependence Guided Symbolic Execution

Author(s): Haijun Wang ; Ting Liu ; Xiaohong Guan ; Chao Shen ; Qinghua Zheng ; Zijiang Yang
Sponsor(s): IEEE Comput. Soc. Tech. Council on Software Eng.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2017
Volume: 43
Page(s): 252 - 271
ISSN (Paper): 0098-5589
ISSN (Online): 1939-3520
DOI: 10.1109/TSE.2016.2584063
Regular:

Symbolic execution is a powerful technique for systematically exploring the paths of a program and generating the corresponding test inputs. However, its practical usage is often limited by the... View More

Advertisement