Automatically Inferring Temporal Properties for Program Evolution .

Jinlin Yang, David Evans

Browse the full ISSRE paper archive.