Fidelity Probes for Specification--Code Alignment

Ferhat Erata, Hao Zhou, Jun Huan +1

Software modernization often relies on natural-language specifications recovered from an existing implementation. Incorrect or missing requirements can lead to defects in the moder…