Some of my colleagues wrote a research paper about a system like this a few years back:

http://researcher.watson.ibm.com/researcher/files/us-bacon/B...

They proposed a new notion of "software correctness" as an equilibrium in which there is insufficient economic demand for any further bug fixes. Cool to see such a system being built!