Software Developed by Mike Zhiyue Liu
A plug-in for Eclipse that allows users to debug programs using UML models in order to detect regions of divergence between the model and the program.
A plug-in for Eclipse that allows for the recording, editing, and playback of key macros.