Software testing, verification & reliability (1992)