A practical approach to programming with assertions
IEEE Transactions on Software Engineering
Early estimation of software quality using in-process testing metrics