Automated analysis, verification and testing

Nigel Tracey, John Penix, Willem Visser. Automated analysis, verification and testing. Software Focus, 2(2):82, 2001.

Abstract

Abstract is missing.