Ketan Dixit

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Object Oriented

Software Quality

Business Applications

Software Packages

Top Venues

Int. J. Softw. Tools Technol. Transf.

Formal Methods Syst. Des.

Publications

Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok
Software monitoring with controllable overhead. Int. J. Softw. Tools Technol. Transf. 14 (3) (2012)
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 Syst. Des. 41 (3) (2012)
Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok
Aspect-Oriented Instrumentation with GCC. RV (2010)