Abstract
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. © IFIP 2003.
Author supplied keywords
Cite
CITATION STYLE
Hallal, H., Boroday, S., Ulrich, A., & Petrenko, A. (2003). An automata-based approach to property testing in event traces. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2644, 180–196. https://doi.org/10.1007/3-540-44830-6_14
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
