Automated black-box testing of functional correctness using function approximation.

Karl Meinke

Browse the full ISSTA paper archive.