Overcoming Non-determinism in Testing Smart Devices: A Case Study.

Peter G. Bishop, Lukasz Cyra

Browse the full SAFECOMP paper archive.