Raimondas Lencevicius Alexander Ran Rahav Yairi Third eye - specification-based analysis of software execution traces (poster). 772 2000 conf/icse/2000 ICSE http://doi.acm.org/10.1145/337180.337628 db/conf/icse/icse2000.html#LenceviciusRY00