| http://www.w3.org/ns/prov#value | - 's application to real-world programs written in different programming languages (e.g., C, Java, Javascript, PHP, Ruby).Following is an attempt to maintain a partial bibliography of papers on symbolic execution published in a wide range of venues.
|
