Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Efficient State Merging in Symbolic Execution
Subtitle:
(Extended Abstract)
Title of conference publication:
Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik (SE)
Series title:
LNI
Series volume:
227
Conference title:
Software Engineering, Fachtagung des GI-Fachbereichs Softwaretechnik (2014, Kiel)
Venue:
Kiel
Year of conference:
2014
Date of conference beginning:
25.02.2014
Date of conference ending:
28.05.2014
Publisher:
GI
Year:
2014
Pages from - to:
45-46
Language:
Englisch
Open Access yes or no?:
Nein / No
BibTeX