IEEE Transactions on Software Engineering 26(8)

• King, Steve; Hammond, Jonathan; Chapman,Rod and A (1999) King, Steve; Hammond, Jonathan; Chapman,Rod and Andy Pryor "Is Proof More Cost Effective Than Testing?"