About: http://webisa.webdatacommons.org/215095130

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	The following is a very simple example of doing symbolic execution with JPF. It assumes that you are using Eclipse, but the instructions should be easily adapted to other IDEs or the command line.
http://www.w3.org/ns/prov#wasQuotedFrom	sourceforge.net