CJAdviser: SMT-based debugging support for ContextJ.

Shizuka Uchio, Naoyasu Ubayashi, Yasutaka Kamei

Browse the full ECOOP paper archive.