Advances in Theory and Applications of Token Causality in Trace Analysis

@inproceedings{Wang2013AdvancesIT,
  title={Advances in Theory and Applications of Token Causality in Trace Analysis},
  author={Shaohui Wang and Oleg Sokolsky},
  year={2013}
}
Token causality refers to the causal relationship between system events on an individual system execution, as opposed to general causality, where relationships between types of events are studied. When a system fails at run-time, represented as the violations of certain system safety properties on an observed system execution trace, the investigation of token causality is helpful in understanding the root cause why such system safety properties are violated. In this report, three different… CONTINUE READING