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/Bacon09Marke

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/Bacon09MarketBased.pdf 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!