An Approach and a Prototype Tool for Generating Executable IoT System Test Cases.

Dario Olianas, Maurizio Leotta, Filippo Ricca

Browse the full QUATIC paper archive.