Combining testing and proof to gain high assurance in software (2013)

by P Bishop, R Bloomfield, L Cyra
Venue:In ISSRE 2013