A Unified Symbolic Execution System. - C. Koutsikas; Nicos Malevris (AICCSA, 2001)