Program Transformation Based on Symbolic Execution and Deduction.

Ran Ji, Reiner Hhnle, Richard Bubel

Browse the full SEFM paper archive.