Skip to content

sat-group/symonster

Repository files navigation

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.

Releases

No releases published

Packages

No packages published

Contributors 4

  •  
  •  
  •  
  •  

Languages