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]

Authors

Justin Seyster

This author has not been identified. Look up 'Justin Seyster' in Google

Ketan Dixit

This author has not been identified. Look up 'Ketan Dixit' in Google

Xiaowan Huang

This author has not been identified. Look up 'Xiaowan Huang' in Google

Radu Grosu

This author has not been identified. Look up 'Radu Grosu' in Google

Klaus Havelund

This author has not been identified. It may be one of the following persons: Look up 'Klaus Havelund' in Google

Scott A. Smolka

This author has not been identified. Look up 'Scott A. Smolka' in Google

Scott D. Stoller

This author has not been identified. Look up 'Scott D. Stoller' in Google

Erez Zadok

This author has not been identified. Look up 'Erez Zadok' in Google