Regression Tests and the Inventor's Dilemma.

Interpretation Clousot/CodeContracts impact 0 API .NET standard since v4 0 Externally available 0 > 60,000 downloads 0 Active forum (>1,500 threads) 0 Book chapters, blogs ... 0 Internal and External adoption 0 Mainly professional programmers 0 A few university courses 0 Publications, talks, tutorials 0 Academic (POPL, OOPSLA, ECOOP, VMCAI, SAS ...) 0 Programmers conferences Clousot Summary Regression tests Inventor’s dilemma scenario User X invests time in the following loop: Inspect warnings Add more contracts Fix bugs Finally the code is warning free New version is released  New warnings Some users use multiple versions Clousot Summary Inventor’s Dilemma Apocalypse May ship as part of Visual Studio Potential for millions of users