Shizuka Uchio, Naoyasu Ubayashi, Yasutaka Kamei. CJAdviser: SMT-based debugging support for ContextJ. In Proceedings of the 3rd International Workshop on Context-Oriented Programming, COP 2011, Lancaster, United Kingdom, July 25, 2011. ACM, 2011. [doi]
Abstract is missing.