Download Dynamic Invariant Generation for Multithreaded

Arijit Chattopadhyay
Bibliography
57
[12] M. D. Ernst, J. H. Perkins, P. J. Guo, S. McCamant, C. Pacheco, M. S. Tschantz, and C. Xiao.
The daikon system for dynamic detection of likely invariants. Sci. Comput. Program., 69(13):35–45, Dec. 2007.
[13] C. Flanagan and P. Godefroid. Dynamic partial-order reduction for model checking software.
In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages
110–121, New York, NY, USA, 2005. ACM.
[14] C. Flanagan and S. Qadeer.
Thread-modular model checking.
In International SPIN
Workshop on Model Checking Software, pages 213–224, 2003.
[15] C. A. Furia and B. Meyer. Fields of logic and computation. chapter Inferring Loop Invariants
Using Postconditions, pages 277–300. Springer-Verlag, Berlin, Heidelberg, 2010.
[16] P. Godefroid. Model checking for programming languages using verisoft. In ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, pages 174–186, New York,
NY, USA, 1997. ACM.
[17] S. Hangal, N. Chandra, S. Narayanan, and S. Chakravorty. Iodine: a tool to automatically
infer dynamic invariants for hardware designs. In Design Automation Conference, pages
775–778, 2005.
[18] S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection.
In International Conference on Software Engineering, pages 291–301, New York, NY, USA,
2002. ACM.