Keyword:Input space partitioning

Papers
Verifying Numerical Programs via Iterative Abstract Testing Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang and Patrick Cousot EasyChair Preprint no. 1749