How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback.

Michael D. Ernst

Browse the full TAP paper archive.