Title: Data flow testing in the presence of unexecutable paths
First published: 1986