Symbolic mining of temporal specifications.

Mark Gabel, Zhendong Su

Browse the full ICSE paper archive.