An error detection model for application during software development (1979)

by P B Moranda
Venue:IEEE Transactions on Reliability