Baker Botts L.L.P.
Parameterized states in symbolic execution for software testing
Methods and systems for symbolic execution of software under test include the use of parametric states to losslessly represent a group of concrete execution states. Mathematical abstractions may represent differences between execution states and may define a parametric constraint for a parametric state. The parametric states may be usable for symbolic execution to reduce an amount of memory resources consumed and/or reduce a computational load during symbolic execution. Using parametric states, a larger state space and more program behaviors may be testable using symbolic execution.
Fujitsu Limited
G G G
G06F G06F G06F
inventional inventional inventional
Indradeep Guodong
Ghosh Li