Papers on Software Testing

CSRG publications on Software Testing:

An integrated methodology for the formal specification, verification and testing of systems
Mike Holcombe (1993) (Abstract) (ps file)

Almost All Software Testing is Futile!
Mike Holcombe, Florentin Ipate (1995) (Abstract) (ps file)

Software Testing Strategies for Software Requirements and Design
Wachara Chantatub, Mike Holcombe (1994) (Abstract) (ps file)

This page was last modified on May 24 1996 by Chih Nam Yap.