A Method of Test Cases Generation for Real-Time Systems.

Ian Ho, Jin-Cherng Lin

Browse the full ISORC paper archive.