116
click to vote
IWPC
2009
IEEE
15 years 10 months ago
2009
IEEE
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 occ...