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
|
