Model checking Java programs using structural heuristics

  title={Model checking Java programs using structural heuristics},
  author={Alex Groce and Willem Visser},
We describe work in troducing heuristic search into the Java PathFinder model checker, which targets Java bytecode. Rather than focusing on heuristics aimed at a particular kind of error (such as deadlocks) we describe heuristics based on a modification of traditional branch coverage metrics and other structure measures, such as thread inter-dependency. We present experimental results showing the utility of these heuristics, and argue for the usefulness of structural heuristics as a class. 
Highly Cited
This paper has 115 citations. REVIEW CITATIONS


Publications citing this paper.

116 Citations

Citations per Year
Semantic Scholar estimates that this publication has 116 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-2 of 2 references

Similar Papers

Loading similar papers…