Publications
-
Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, and Erez Zadok.
InterAspect: Aspect-Oriented Instrumentation with GCC.
Submitted to Formal Methods in System Design.
(To appear.) -
Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, and Erez Zadok.
Aspect-Oriented Instrumentation with GCC.
In Proceedings of 1st International Conference on Runtime Verification pp. 405-420.
2010, St. Julians, Malta.