Abstract Interpretation of Programs for Model-based Debugging

by Wolfgang Erich Mayer, Markus Stumptner · 2007