Runtime Analysis and Instrumentation for Securing Software

R. Sekar. Runtime Analysis and Instrumentation for Securing Software. In Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Volume 6418 of Lecture Notes in Computer Science, pages 58, Springer, 2010. [doi]

Authors

R. Sekar

This author has not been identified. Look up 'R. Sekar' in Google