A Combined Testing and Verification Approach for Software Reliability

Natasha Sharygina, and Doron Peled

Published in the Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Genoa, Italy, 2001, 15 pages.

PDF © 2001 Natasha Sharygina.