@inproceedings{PASTE-2004-YangE,
	author        = "Jinlin Yang and David Evans",
	booktitle     = "{Proceedings of the Fifth Workshop on Program Analysis for Software Tools and Engineering}",
	doi           = "10.1145/996821.996832",
	isbn          = "1-58113-910-1",
	pages         = "23--28",
	publisher     = "{ACM}",
	title         = "{Dynamically inferring temporal properties}",
	year          = 2004,
}