Steven J. Zeil, J. Christian Wild. A knowledge base for software test refinement. In Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993. pages 50-57, IEEE Computer Society, 1993. [doi]
Abstract is missing.