Mike Papadakis, Nicos Malevris. A Symbolic Execution Tool Based on the Elimination of Infeasible Paths. In Jon Hall, Hermann Kaindl, Luigi Lavazza, Georg Buchgeher, Osamu Takaki, editors, The Fifth International Conference on Software Engineering Advances, ICSEA 2010, 22-27 August 2010, Nice, France. pages 435-440, IEEE Computer Society, 2010. [doi]
Abstract is missing.