Roni Rosner Micha Moffie Yiannakis Sazeides Ronny Ronen Selecting long atomic traces for high coverage. 2-11 2003 conf/ics/2003 ICS http://doi.acm.org/10.1145/782814.782818 db/conf/ics/ics2003.html#RosnerMSR03