Replay-Based Debugging of Occam Programs

Aniello Cimitile, Ugo de Carlini, Umberto Villano. Replay-Based Debugging of Occam Programs. Softw. Test., Verif. Reliab., 3(2):83-100, 1993.

@article{CimitileCV93,
  title = {Replay-Based Debugging of Occam Programs},
  author = {Aniello Cimitile and Ugo de Carlini and Umberto Villano},
  year = {1993},
  tags = {rule-based, Occam, debugging},
  researchr = {https://researchr.org/publication/CimitileCV93},
  cites = {0},
  citedby = {0},
  journal = {Softw. Test., Verif. Reliab.},
  volume = {3},
  number = {2},
  pages = {83-100},
}