Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs

@inproceedings{Dwyer2006EvaluatingTE,
  title={Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs},
  author={Matthew B. Dwyer and John Hatcliff and Matthew Hoosier and Venkatesh Prasad Ranganath and Robby and Todd Wallentine},
  booktitle={TACAS},
  year={2006}
}
Model checking techniques have proven effective for checking a number of non-trivial concurrent object-oriented software systems. However, due to the high computational and memory costs, a variety of model reduction techniques are needed to overcome current limitations on applicability and scalability. Conventional wisdom holds that static program slicing can be an effective model reduction technique, yet anecdotal evidence is mixed, and there has been no work that has systematically studied… CONTINUE READING
Highly Cited
This paper has 41 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 26 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 33 references

Delivering Indus Java program slicer to Eclipse

  • G. Jayaraman, V. P. Ranganath, J. Hatcliff. Kaveri
  • In Proceedings of the Fundamental Approaches to…
  • 2005
1 Excerpt

Similar Papers

Loading similar papers…