@inproceedings{Horejs79,
  title = {Finite Semantics for Program Testing},
  author = {J. Horejs},
  year = {1979},
  tags = {semantics, testing},
  researchr = {https://researchr.org/publication/Horejs79},
  cites = {0},
  citedby = {0},
  pages = {433-441},
  booktitle = {ICSE},
}