Combining testing and proof to gain high assurance in software: A case study.

Peter G. Bishop, Robin E. Bloomfield, Lukasz Cyra

Browse the full ISSRE paper archive.