Skip to content

Latest commit

 

History

History
25 lines (19 loc) · 603 Bytes

README.md

File metadata and controls

25 lines (19 loc) · 603 Bytes

SyMonster

SyMonster is a reimplementation of SyPet -- a program synthesis tool for complex Java APIs. SyMonster will include several improvements to SyPet and it is being developed as part of CMU Independent Study courses, where undergraduate students do research under the supervision of a faculty to receive academic credit.

Faculty advisor:

  • Ruben Martins

Undergraduate students:

  • Kaige Liu
  • Anlun Xu
  • Tianlei Pan
  • Mayank Jain

How to run SyMonster?

cd symonster
ant
ant symonster

Currently version will find all reachable paths that convert MyPoint to Point.