About JPF Guided Test

Framework for guiding the search using heuristics and static analysis