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.

    • Freeware (Free)
    • Windows
  • A plug-in for Eclipse that allows for the recording, editing, and playback of key macros.

    • Freeware (Free)
    • Windows