A Combined Testing and Verification Approach for Software Reliability.

Natasha Sharygina, Doron A. Peled

Browse the full FM paper archive.