Forcing small models of conditions on program interleaving for detection of concurrent bugs.
Ehud TraininYarden Nir-BuchbinderRachel Tzoref-BrillAviad ZlotnickShmuel UrEitan FarchiPublished in: PADTAD (2009)
Keyphrases
- sufficient conditions
- prior knowledge
- probabilistic model
- statistical models
- object detection
- test cases
- small number
- automatic detection
- data sets
- detection algorithm
- parameter estimation
- detection accuracy
- computational models
- statistical model
- detection method
- anomaly detection
- hidden markov models
- image sequences