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.
|
