Timed Testing with TorX.

Henrik C. Bohnenkamp, Axel Belinfante

Browse the full FM paper archive.