[Javapathfinder-svn] SF.net SVN: javapathfinder: [887] trunk/extensions/symbc/examples

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Revision: 887
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=887&view=rev
Author:   pcorina
Date:     2008-06-26 17:47:33 -0700 (Thu, 26 Jun 2008)

Log Message:
-----------
example illustrating symbolic manipulation of the heap
follows lazy initialization algorithm as described in the following paper:

Generalized Symbolic Execution for Model Checking and Testing, 
Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser, 
in Proceedings of the 9th International Conference on Tools and 
Algorithms for the Construction and Analysis of Systems (TACAS), 2003.

Added Paths:
-----------
    trunk/extensions/symbc/examples/symbolicheap/
    trunk/extensions/symbc/examples/symbolicheap/MainLazy.java
    trunk/extensions/symbc/examples/symbolicheap/Node.java

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.