Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software.

Susumu Tokumoto, Tadahiro Uehara, Kazuki Munakata, Haruyuki Ishida, Toru Eguchi, Masafumi Baba

Browse the full APSEC paper archive.