Title: Axiomatizing software test data adequacy
First published: 1984