Robuta

https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?GandALF18.11 EPTCS: Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar real time systems fault localisation conformance testing https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?GandALF18.11 EPTCS: Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar real time systems fault localisation conformance testing