ThEodorE: a Trace Checker for CPS Properties.

Claudio Menghi, Enrico Vigan, Domenico Bianculli, Lionel C. Briand

Browse the full ICSE paper archive.