Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok. InterAspect: aspect-oriented instrumentation with GCC. Formal Methods in System Design, 41(3):295-320, 2012. [doi]
Abstract is missing.