An Automata-Based Approach to Property Testing in Event Traces - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Hesham Hallal' in GoogleThis author has not been identified. Look up 'Sergiy Boroday' in GoogleThis author has not been identified. Look up 'Andreas Ulrich' in GoogleThis author has not been identified. Look up 'Alexandre Petrenko' in Google

runs on WebDSL