Aspect-Oriented Instrumentation with GCC. - Justin Seyster; Ketan Dixit; Xiaowan Huang; Radu Grosu; Klaus Havelund; Scott A. Smolka; Scott D. Stoller; Erez Zadok (RV, 2010)

InterAspect: aspect-oriented instrumentation with GCC. - Justin Seyster; Ketan Dixit; Xiaowan Huang; Radu Grosu; Klaus Havelund; Scott A. Smolka; Scott D. Stoller; Erez Zadok (Formal Methods Syst. Des., 2012)

Software monitoring with controllable overhead. - Xiaowan Huang; Justin Seyster; Sean Callanan; Ketan Dixit; Radu Grosu; Scott A. Smolka; Scott D. Stoller; Erez Zadok (Int. J. Softw. Tools Technol. Transf., 2012)