Inferring Faults in Business Specifications Extracted from Source Code.

Kazuya Yasuda, Shinji Itoh, Ryota Mibe, Yoshinori Jodai, Fumie Nakaya

Browse the full APSEC paper archive.