Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Efficient state merging in symbolic execution
Title of conference publication:
PLDI '12 Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
Conference title:
ACM SIGPLAN Conference on Programming Language Design and Implementation (33., 2012, Beijing)
Venue:
Beijing, China
Year of conference:
2012
Date of conference beginning:
11.06.2012
Date of conference ending:
15.06.2012
Place of publication:
New York
Publisher:
ACM
Year:
2012
Pages from - to:
193-204
Language:
Englisch
ISBN:
978-1-4503-1205-9
Open Access yes or no?:
Ja / Yes
BibTeX
PDF