From constraint representations of sequential code and program annotations to their use in debugging.

Mihai Nica, Franz Wotawa

Browse the full ECAI paper archive.