TY - RPRT TI - Automation of assertion testing - Grid and adaptive techniques AU - Andrews, D. M. PY - 1985 UR - https://ntrs.nasa.gov/citations/19850038498 ID - 19850038498 ER -