@article{Woodward93-1,
  title = {Errors in algebraic specifications and an experimental mutation testing tool},
  author = {M. R. Woodward},
  year = {1993},
  url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=225548},
  researchr = {https://researchr.org/publication/Woodward93-1},
  cites = {0},
  citedby = {0},
  journal = {IEE Proceedings - Software},
  volume = {8},
  number = {4},
  pages = {211-224},
}