Xinrui Guo: SmartDebug: an interactive debug assistant for Java. SIGSOFT FSE 2016: 1127-1129