@dabeaz

Also I was thinking of the NASA software reliability handbook

https://swehb.nasa.gov/display/SWEHBVC/8.02+-+Software+Reliability