Reporting Races in Dynamic Partial Order Reduction.

Olli Saarikivi Keijo Heljanko

Published in: NFM (2015)

Keyphrases

model checking
partial order reduction
dynamic environments
genetic algorithm
data analysis
business intelligence
data sets
databases
neural network
data mining
data structure
data streams
multiresolution
hidden markov models