Title: A formal notion of program-based test data adequacy
First published: 1982