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

[<pc...@us...>]

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.