Efficient State Merging in Symbolic Execution (Extended Abstract)

Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea

Research output: Contribution to conference › Abstract › peer-review

Original language	English
Pages	45-46
Number of pages	2
Publication status	Published - 2014
Event	Software Engineering, Fachtagung des GI-Fachbereichs Softwaretechnik (SE 2014) - Kiel, Germany, Germany Duration: 25 Feb 2014 → 28 Feb 2014

Conference	Software Engineering, Fachtagung des GI-Fachbereichs Softwaretechnik (SE 2014)
Country/Territory	Germany
City	Kiel, Germany
Period	25/02/14 → 28/02/14

Access to Document

@conference{a2df8d3856174ed2b3d36b43c09a65cb,

title = "Efficient State Merging in Symbolic Execution (Extended Abstract)",

author = "Volodymyr Kuznetsov and Johannes Kinder and Stefan Bucur and George Candea",

year = "2014",

language = "English",

pages = "45--46",

note = "Software Engineering, Fachtagung des GI-Fachbereichs Softwaretechnik (SE 2014) ; Conference date: 25-02-2014 Through 28-02-2014",

}