Searching for "An Automata-Based Approach to Property Testing in Event Traces." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

An Automata-based Approach to Property Testing in Event Traces
by Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko, Re Petrenko — 2003 — In Proceedings of the IFIP TC6/WG6.1 XV International Conference on Testing of Communicating Systems (TestCom 2003), volume 2644 of LNCS
…An Automata-based Approach to Property Testing in Event Traces Hesham Hallal 1 , Sergiy Boroday 1…
Cited by 2 (1 self) – Add To MetaCart

A Model Checking Approach to Network Fault Management
by Hesham Hallal, Alexandre Petrenko, Sergiy Boroday, Andreas Ulrich
…-266. [7] Hallal, H., Boroday, S., Ulrich, A. and Petrenko, A. "An Automata-based Approach to Property…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB