Debugging Program Loops Using Approximate Modeling.

Wolfgang Mayer, Markus Stumptner

Browse the full ECAI paper archive.