Inferring Faults in Business Specifications Extracted from Source Code. - Kazuya Yasuda; Shinji Itoh; Ryota Mibe; Yoshinori Jodai; Fumie Nakaya (APSEC, 2019)