InterAspect: aspect-oriented instrumentation with GCC

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

Abstract is missing.