@article{Weyuker82,
  title = {On Testing Non-Testable Programs},
  author = {Elaine J. Weyuker},
  year = {1982},
  tags = {testing, programming},
  researchr = {https://researchr.org/publication/Weyuker82},
  cites = {0},
  citedby = {0},
  journal = {Comput. J.},
  volume = {25},
  number = {4},
  pages = {465-470},
}