AIDA–A dynamic data flow anomaly detection system for pascal programs
Fun Ting Chan, Tsong Yueh Chen · Software Practice and Experience · 1987
Abstract This paper presents a description of, and experience in using, AIDA, an automated instrumentation system to perform data flow analysis for Pascal programs. AIDA is capable of detecting not only data flow anomalies, but also certain kinds of errors. It is a useful software testing and development tool for Pascal programs. The associated implementation problems and their solutions are presented.