1. Blass, A., Gurevich, Y.: Background, reserve, and gandy machines. In: Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic, London, UK, pp. 1–17. Springer-Verlag, Heidelberg (2000)
2. Lecture Notes in Computer Science;D. Bosnacki,2000
3. Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on java predicates. SIGSOFT Softw. Eng. Notes 27(4), 123–133 (2002)
4. Campbell, C., Veanes, M.: State exploration with multiple state groupings. In: Beauquier, D., Börger, E., Slissenko, A. (eds.) 12th International Workshop on Abstract State Machines, ASM’05, pp. 119–130. Laboratory of Algorithms, Complexity and Logic, Créteil, France (March 2005)
5. Darga, P.T., Boyapati, C.: Efficient software model checking of data structure properties. In: OOPSLA ’06. Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pp. 363–382. ACM Press, New York, NY, USA (2006)