Verifying Numerical Programs via Iterative Abstract Testing.

Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot

Browse the full SAS paper archive.