A combined testing and verification approach for software reliability (2001)

by N Sharygina, D Peled
Venue:Formal Methods for Increasing Software Productivity, LNCS