A Formal Passive Testing Approach for Checking Real Time Constraints.

Fayal Bessayah, Ana R. Cavalli

Browse the full QUATIC paper archive.