Back to The JPF team
GSoC 2017

Program Repair via Symbolic Execution-Derived Constraint Characterization

Project details

Contributor

Andrew Hill

Mentors

Kasper Luckow, Corina, Divya Gopinath

Technologies

Not listed in the archive