Assertion checker for the C programming language based on computations over event traces.

Mikhail Auguston

Published in: AADEBUG (2000)

Keyphrases

event detection
event recognition
object oriented programming
event driven
event logs
data structure
news articles
event streams
machine learning
expert systems
data model
temporal patterns
temporal structure
event models
condition action rules