Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report.

Aaron Kane, Thomas E. Fuhrman, Philip Koopman

Browse the full DSN paper archive.