A Symbolic Execution Tool Based on the Elimination of Infeasible Paths.

Mike Papadakis, Nicos Malevris

Browse the full ICSEA paper archive.