Software debugging, testing, and verification (2002)

by B Hailpern, P Santhanam
Venue:IBM Systems Journal