1. Nazareno Aguirre , Marcelo F. Frias , Mariano M. Moscato , T.S.E. Maibaum , and Alan Wassyng . 2009 . Describing and Analyzing Behaviors over Tabular Specifications Unsing DynAlloy . In Proceedings, FASE 2009. 155--170. Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T.S.E. Maibaum, and Alan Wassyng. 2009. Describing and Analyzing Behaviors over Tabular Specifications Unsing DynAlloy. In Proceedings, FASE 2009. 155--170.
2. A Modular Static Analysis Approach to Affine Loop Invariants Detection
3. Chris Brink , Wolfram Kahl , and Gunther Schmidt . 1997. Relational Methods in Computer Science . Springer Verlag , Berlin, Germany . Chris Brink, Wolfram Kahl, and Gunther Schmidt. 1997. Relational Methods in Computer Science. Springer Verlag, Berlin, Germany.
4. Symbolic execution for software testing
5. E. Rodriguez Carbonnell and Deepak Kapur . 2004 . Program Verification Using Automatic Generation of Invariants . In Proceedings, International Conference on Theoretical Aspects of Computing 2004, Vol. 3407 . Lecture Notes in Computer Science, Springer Verlag, 325--340. E. Rodriguez Carbonnell and Deepak Kapur. 2004. Program Verification Using Automatic Generation of Invariants. In Proceedings, International Conference on Theoretical Aspects of Computing 2004, Vol. 3407. Lecture Notes in Computer Science, Springer Verlag, 325--340.