Sciweavers

IWPC
2009
IEEE
14 years 5 hour ago
A plethora of paths
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...
Eric Larson