TY  - RPRT
TI  - Generating Test Templates via Automated Theorem Proving
AU  - Kancherla, Mani Prasad
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/19980019274
ID  - 19980019274
ER  -