Active Bibliography

ACKNOWLEDGMENTS – Gogul Balakrishnan, Gogul Balakrishnan
To my beloved grandma Rajakrishnammal... – Gogul Balakrishnan - 2007
53 WYSINWYX: What You See Is Not What You eXecute – Gogul Balakrishnan, Thomas Reps - 2009
8 Improved Memory-Access Analysis for x86 Executables – Thomas Reps, Gogul Balakrishnan
696 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
528 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
598 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
571 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
544 Dynamically Discovering Likely Program Invariants to Support Program Evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin