Sciweavers

Share
PTS
2003

An Automata-Based Approach to Property Testing in Event Traces

12 years 3 months ago
An Automata-Based Approach to Property Testing in Event Traces
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that the model exactly characterizes the causality relation between the events in the observed trace. We present the implementation of this approach in SDL, where ObjectGEODE is used to verify properties, and illustrate the approach with an industrial case study.
Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Ale
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2003
Where PTS
Authors Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko
Comments (0)
books