Abstract Interpretation of Programs for Model-Based Debugging.

Wolfgang Mayer, Markus Stumptner

Browse the full IJCAI paper archive.