1. Adding trace matching with free variables to aspectj;Allan;ACM SIGPLAN Not.,2005
2. A decade of software model checking with SLAM;Ball;Commun. ACM,2011
3. Ball, T., Majumdar, R., Millstein, T., Rajamani, S., 2001. Automatic Predicate Abstraction of C Programs. In: Proc. ACM Conf. on Programming Language Design and Implementation. ISBN: 1581134142, pp. 203–213.
4. Rule-based runtime verification;Barringer,2004
5. ASM: A code manipulation tool to implement adaptable systems;Bruneton;Adapt. Ext. Compon. Syst.,2002