Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko. An Automata-Based Approach to Property Testing in Event Traces. In Dieter Hogrefe, Anthony Wiles, editors, Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings. Volume 2644 of Lecture Notes in Computer Science, pages 180-196, Springer, 2003. [doi]
Abstract is missing.