A market-based approach to software evolution
David F. Bacon, Yiling Chen, David C. Parkes, Malvika Rao · 2009
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching sizes that are many orders of magnitude beyond the reach of formal or automated verification techniques.