Title: Assessing test data adequacy through program inference. May 1980, revised Aug. 1981
First published: 1981