E Bodden,
P Lam, L Hendren - Proceedings of the 16th ACM SIGSOFT …, 2008 - dl.acm.org
Runtime monitoring allows programmers to validate, for instance, the proper use of
application interfaces. Given a property specification, a runtime monitor tracks appropriate …