@misc{indiciae8d32c2d909cb,
  title = {Automation of assertion testing - Grid and adaptive techniques},
  author = {Andrews, D. M.},
  year = {1985},
  url = {https://ntrs.nasa.gov/citations/19850038498},
  note = {Source identifier: 19850038498}
}