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. The Spiral team
Statistical symbolic execution with informed sampling
File(s)
2015-se-jpf.pdf (81.04 KB)
Accepted version
Author(s)
Filieri, A
Pasareanu, CS
Visser, W
Geldenhuys, J
Type
Conference Paper
Date Issued
2015-03-17
Date Acceptance
2015-03-17
Citation
Software Engineering & Management 2015, Fachtagung des GI-Fachbereichs Softwaretechnik, 2015, pp.51-52
URI
ISBN
978-3-88579-633-6
ISSN
1617-5468
Publisher
Gesellschaft für Informatik e.V.
Start Page
51
End Page
52
Journal / Book Title
Software Engineering & Management 2015, Fachtagung des GI-Fachbereichs Softwaretechnik
Copyright Statement
© Gesellschaft für Informatik e.V. 2015
Source
Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) 2015
Publication Status
Published
Start Date
2015-03-17
Finish Date
2015-03-20
Coverage Spatial
Dresden, Germany