David Lo Siau-Cheng Khoo Chao Liu 0001 Mining past-time temporal rules from execution traces. 50-56 2008 WODA http://doi.acm.org/10.1145/1401827.1401838 conf/issta/2008w db/conf/issta/woda2008.html#LoKL08