Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Quantification of software changes through probabilistic symbolic execution
File(s)
2015-snapl.pdf (231.44 KB)
Accepted version
Author(s)
Filieri, A
Pasareanu, CS
Yang, G
Type
Conference Paper
Date Issued
2015-05-06
Date Acceptance
2015-05-03
Citation
2015
URI
URL
Copyright Statement
© 2015 The Authors. This work is licensed under a Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)
(http://creativecommons.org/licenses/by/3.0/legalcode)
Identifier
http://snapl.org/2015/papers.html
Source
SNAPL 2015
Notes
location: Asilomar, CA, USA notes: Position paper acronym: SNAPL
Publication Status
Published
Start Date
2015-05-03
Finish Date
2015-05-06
Coverage Spatial
Asilomar, CA