Improving quality of Ada software with range analysis. - Jay Abraham; Jeff Chapple; Cyril Preve (SIGAda, 2011)