A Formal Framework for Program Anomaly Detection.

Xiaokui Shu, Danfeng (Daphne) Yao, Barbara G. Ryder

Browse the full RAID paper archive.