Online inference and enforcement of temporal properties. (2010)

by M Gabel, Z Su
Venue:In Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE ’10,