Guided model checking for programs with polymorphism

@inproceedings{Rungta2009GuidedMC,
  title={Guided model checking for programs with polymorphism},
  author={Neha Rungta and Eric Mercer},
  booktitle={PEPM},
  year={2009}
}
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.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…