Baker Botts L.L.P.
Lossless path reduction for efficient symbolic execution and automatic test generation
In one embodiment, symbolically executing a software module having a number of execution paths; and losslessly reducing the number of execution paths during the symbolic execution of the software module.
Fujitsu Limited
G G
G06F G06F
inventional inventional
Indradeep Sreeranga P. Guodong
Ghosh Rajan Li