Guided model checking for programs with polymorphism

  title={Guided model checking for programs with polymorphism},
  author={Neha Rungta and Eric Mercer},
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concrete execution of the program toward a possible error location. The estimate is a lower-bound computed on a statically generated abstract model of the program that ignores all data values and only considers control flow. In this paper we describe a new distance estimate heuristic that efficiently computes a tighter lower… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.

Similar Papers

Loading similar papers…