Back to The JPF team
GSoC 2018

Synthesis to repair heap-manipulating programs using Java StarFinder

Project details

Contributor

Guolong Zheng

Mentors

THANHVU NGUYEN, Quang Loc Le, Quoc-Sang Phan

Technologies

Not listed in the archive