Claims
Very aggressive positive claims
- About 20-30 systems (all under 500KLOC)
100KLOC systems with (well) under 10 errors in the field in the first year or two
Finds 1-4 errors/KLOC during statistical testing
Some projects claim 70% improvement in development productivity