Require, test, and trace IT

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran. Require, test, and trace IT. STTT, 19(4):409-426, 2017. [doi]

Abstract

Abstract is missing.