[Javapathfinder-user] JPF-SE Symbolic Execution Extension

[Armand N. <an...@pu...>]

Is there any documentation regarding JPF-SE
(http://ase.arc.nasa.gov/people/pcorina/papers/jpfseTACAS07.pdf)?
The paper claims that a framework to perform symbolic execution has been
added to the repository, but I can't find
it or any documentation on how to use the symbolic engine.  The paper
says that it uses annotations in the form of
method specifications.  I am trying to find out what those annotations
look like.

Thanks,
Armand