Generating March Tests Automatically. - Ad J. van de Goor; B. Smit (ITC, 1994)

Automating the verification of memory tests. - Ad J. van de Goor; B. Smit (VTS, 1994)