AIDA–A dynamic data flow anomaly detection system for pascal programs

DOI10.1002/SPE.4380170306MaRDI QIDQ3746865zbMATH OpenOpenAlexFDO

Authors F. T. Chan, Tsong Yueh Chen

Publication date 1987

Published in Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/spe.4380170306

zbMATH Keywords

automated instrumentation systemdata flow analysisprogram instrumentationprogram testing

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2103903
• scientific article; zbMATH DE number 2088933
• Information-flow and data-flow analysis of while-programs
• Selecting Software Test Data Using Data Flow Information
• Program analysis tools

Cited in

(1)

• Dynamic program slicing

This page was built for publication: AIDA–A dynamic data flow anomaly detection system for pascal programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3746865)