TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing

Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper. TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing. In TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 22-25 November 1999, Melbourne, Australia. pages 222-233, IEEE Computer Society, 1999. [doi]

Abstract

Abstract is missing.