Slicing concurrent programs

@inproceedings{Nanda2000SlicingCP,
  title={Slicing concurrent programs},
  author={Mangala Gowri Nanda and S. Ramesh},
  booktitle={ISSTA},
  year={2000}
}
Slicing is a well-known program analysis technique for analyzing sequential programs and found useful in debugging, testing and reverse engineering. This paper extends the notion of slicing to concurrent programs with shared memory, interleaving semantics and mutual exclusion. Interference among concurrent threads or processes complicates the computation of slices of concurrent programs. Further, unlike slicing of sequential programs, a slicing algorithm for concurrent programs needs to… CONTINUE READING
Highly Cited
This paper has 80 citations. REVIEW CITATIONS

Citations

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

80 Citations

051015'99'03'08'13'18
Citations per Year
Semantic Scholar estimates that this publication has 80 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…