Using finite-state models for log differencing.

Hen Amar Lingfeng Bao Nimrod Busany David Lo Shahar Maoz

Published in: ESEC/SIGSOFT FSE (2018)

Keyphrases

finite state
markov chain
model checking
continuous time bayesian networks
probabilistic model
markov decision processes
optimal policy
dynamic programming
transition systems