Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software. - Susumu Tokumoto; Tadahiro Uehara; Kazuki Munakata; Haruyuki Ishida; Toru Eguchi; Masafumi Baba (APSEC, 2012)