Hana Chockler Eitan Farchi Benny Godlin Sergey Novikov Cross-Entropy-Based Replay of Concurrent Programs. 201-215 2009 FASE http://dx.doi.org/10.1007/978-3-642-00593-0_14 conf/fase/2009 db/conf/fase/fase2009.html#ChocklerFGN09