Always One More Bug: Applying AdaWise to Improve Ada Code

AdaWise, a set of tools currently under development at ORA, performs automatic checks to verify the absence of common run-time errors affecting the correctness or portability of Ada programs. The tools can be applied to programs of arbitrary size, and they are conservative

• Type: Conference
• Year: 1994
• Where: SIGADA
• Authors: Cheryl Barbasch, Dan Egnor
• Keywords: Common Run-time Errors, False Positives, Potential Errors, Programming Languages, SIGADA 1994