Online inference and enforcement of temporal properties (2010)

by M Gabel, Z Su
Venue:In Proceedings of the International Conference on Software Engineering