Sciweavers

Share
QEST
2008
IEEE

Debugging of Dependability Models Using Interactive Visualization of Counterexamples

8 years 8 months ago
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification of causal factors in the potentially very large sets of execution traces that form counterexamples in stochastic model checking. The visualization is interactive and allows the user to focus on the most meaningful aspects of a counterexample. We present the application of the visualization method as implemented in our prototype tool DIPRO to two significant case studies.
Husain Aljazzar, Stefan Leue
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where QEST
Authors Husain Aljazzar, Stefan Leue
Comments (0)
books