A Logic Programming Approach to Requirements Modelling and Automated Test Generation.

Leon J. Mekly, Marjorie Passini Yuhas

Browse the full ICLP paper archive.