Return to Article Details PROLOG & TXL: A Case Study for Prototyping Structural Testing Supporting Tools Download Download PDF