Show simple item record

dc.contributor.author
Christakis, Maria
dc.contributor.author
Müller, Peter
dc.contributor.author
Wüstholz, Valentin
dc.date.accessioned
2017-11-07T15:24:01Z
dc.date.available
2017-06-11T17:51:09Z
dc.date.available
2017-10-12T10:39:11Z
dc.date.available
2017-11-07T15:24:01Z
dc.date.issued
2016
dc.identifier.isbn
978-1-4503-3900-1
en_US
dc.identifier.isbn
978-1-4503-4205-6
en_US
dc.identifier.other
10.1145/2884781.2884843
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/101609
dc.identifier.doi
10.3929/ethz-a-010444035
dc.format
application/pdf
dc.language.iso
en
en_US
dc.publisher
ACM
en_US
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
VERIFICATION (SOFTWARE ENGINEERING)
en_US
dc.subject
CODING (SOFTWARE ENGINEERING)
en_US
dc.subject
VERIFIKATION (SOFTWARE ENGINEERING)
en_US
dc.subject
KODIERUNG (SOFTWARE ENGINEERING)
en_US
dc.title
Guiding Dynamic Symbolic Execution toward Unverified Program Executions
en_US
dc.type
Conference Paper
dc.rights.license
In Copyright - Non-Commercial Use Permitted
dc.date.published
2015
ethz.book.title
2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016
en_US
ethz.pages.start
144
en_US
ethz.pages.end
155
en_US
ethz.size
Online-Ressource
en_US
ethz.code.ddc
DDC - DDC::0 - Computer science, information & general works::004 - Data processing, computer science
en_US
ethz.event
2016 IEEE/ACM 38th IEEE International Conference on Software Engineering (ICSE 2016)
en_US
ethz.event.location
Austin, TX, USA
en_US
ethz.event.date
May 14-22, 2016
en_US
ethz.identifier.nebis
010444035
ethz.publication.place
New York, NY
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03653 - Müller, Peter / Müller, Peter
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03653 - Müller, Peter / Müller, Peter
ethz.date.deposited
2017-06-11T17:51:57Z
ethz.source
ECOL
ethz.source
ECIT
ethz.identifier.importid
imp5936533d49c3b63415
ethz.identifier.importid
imp59366b774359255836
ethz.ecolpid
eth:47756
ethz.ecitpid
pub:159417
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2017-07-17T08:05:18Z
ethz.rosetta.lastUpdated
2021-02-14T20:04:21Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Guiding%20Dynamic%20Symbolic%20Execution%20toward%20Unverified%20Program%20Executions&rft.date=2016&rft.spage=144&rft.epage=155&rft.au=Christakis,%20Maria&M%C3%BCller,%20Peter&W%C3%BCstholz,%20Valentin&rft.isbn=978-1-4503-3900-1&978-1-4503-4205-6&rft.genre=proceeding&rft_id=info:doi/10.1145/2884781.2884843&rft.btitle=2016%20IEEE/ACM%2038th%20IEEE%20International%20Conference%20on%20Software%20Engineering,%20ICSE%202016
 Search print copy at ETH Library

Files in this item

Thumbnail

Publication type

Show simple item record