Cross-Entropy-Based Replay of Concurrent Programs.

Hana Chockler Eitan Farchi Benny Godlin Sergey Novikov

Published in: FASE (2009)

Keyphrases

concurrent programs
concurrent programming
process algebra
web applications
information theory
model checking
concurrent processes
real time
expert systems
communication protocols