A Logic Programming Approach to Requirements Modelling and Automated Test Generation

Leon J. Mekly, Marjorie Passini Yuhas. A Logic Programming Approach to Requirements Modelling and Automated Test Generation. In ICLP. pages 849, 1993.

Abstract

Abstract is missing.