Masafumi Baba

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

Tadahiro Uehara, Toru Eguchi, Kazuki Munakata, 2012, 2012 19th Asia-Pacific Software Engineering Conference.