IEEE - Institute of Electrical and Electronics Engineers, Inc. - A plethora of paths

2009 IEEE 17th International Conference on Program Comprehension (ICPC)

Author(s): Larson, E.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 May 2009
Conference Location: Vancouver, BC, Canada, Canada
Conference Date: 17 May 2009
Page(s): 40 - 49
ISBN (CD): 978-1-4244-3997-3
ISBN (Paper): 978-1-4244-3998-0
ISSN (Paper): 1063-6897
DOI: 10.1109/ICPC.2009.5090026
Regular:

A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occur. The... View More

Advertisement