GSoC 2017
Java StarFinder: Symbolic Execution with Separation Logic for Testing and Verifying Heap-manipulating Programs.
Project details
Contributor
Pham Hong Long
Mentors
Quoc Sang Phan, Quang Loc Le
Technologies
Not listed in the archive
Contributor
Pham Hong Long
Mentors
Quoc Sang Phan, Quang Loc Le
Not listed in the archive