Jinlin Yang David Evans Dynamically inferring temporal properties. 23-28 2004 conf/paste/2004 PASTE http://doi.acm.org/10.1145/996821.996832 db/conf/paste/paste2004.html#YangE04