CJAdviser: SMT-based debugging support for ContextJ. - Shizuka Uchio; Naoyasu Ubayashi; Yasutaka Kamei (COP@ECOOP, 2011)