Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Efficient State Merging in Symbolic Execution
Untertitel:
(Extended Abstract)
Titel Konferenzpublikation:
Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik (SE)
Reihentitel:
LNI
Bandnummer Reihe:
227
Konferenztitel:
Software Engineering, Fachtagung des GI-Fachbereichs Softwaretechnik (2014, Kiel)
Tagungsort:
Kiel
Jahr der Konferenz:
2014
Datum Beginn der Konferenz:
25.02.2014
Datum Ende der Konferenz:
28.05.2014
Verlag:
GI
Jahr:
2014
Seiten von - bis:
45-46
Sprache:
Englisch
Open Access ja oder nein?:
Nein / No
BibTeX