Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Efficient state merging in symbolic execution
Titel Konferenzpublikation:
PLDI '12 Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
Konferenztitel:
ACM SIGPLAN Conference on Programming Language Design and Implementation (33., 2012, Beijing)
Tagungsort:
Beijing, China
Jahr der Konferenz:
2012
Datum Beginn der Konferenz:
11.06.2012
Datum Ende der Konferenz:
15.06.2012
Verlagsort:
New York
Verlag:
ACM
Jahr:
2012
Seiten von - bis:
193-204
Sprache:
Englisch
ISBN:
978-1-4503-1205-9
URL zum Inhalt:
Open Access ja oder nein?:
Ja / Yes
BibTeX
PDF