Back to The JPF team
GSoC 2017

Increasing SPF Performance with Bounded Static Symbolic Execution

Project details

Contributor

Vaibhav B Sharma

Mentors

Mike, Willem Visser

Technologies

Not listed in the archive