A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives

  title={A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives},
  author={John Hatcliff and James C. Corbett and Matthew B. Dwyer and Stefan Sokolowski and Hongjun Zheng},
Previous work has shown that program slicing can be a useful step in model-checking software systems. We are interested in applying these techniques to construct models of multi-threaded Java programs. Past work does not address the concurrency primitives found in Java, nor does it provide the rigorous notions of slice correctness that are necessary for reasoning about programs with non-deterministic behaviour and potentially innnite computation traces. In this paper, we deene the semantics of… CONTINUE READING
Highly Cited
This paper has 140 citations. REVIEW CITATIONS
91 Citations
14 References
Similar Papers


Publications citing this paper.

141 Citations

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

See our FAQ for additional information.


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

Pro gram slicing for design automation: An automatic technique for speeding-up hard ware design, simulation, testing, and veri cation

  • E. M. Clarke, M. Fujita, S. P. Rajan, T.Reps, S. Shankar, T. Teitelbaum
  • Technical report,
  • 1999
1 Excerpt

Similar Papers

Loading similar papers…