Efficient State Merging in Symbolic Execution (Extended Abstract). / Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George.

2014. 45-46 Abstract from Software Engineering, Fachtagung des GI-Fachbereichs Softwaretechnik (SE 2014), Kiel, Germany, Germany.

Research output: Contribution to conferenceAbstract

Published
Original languageEnglish
Pages45-46
Number of pages2
Publication statusPublished - 2014
EventSoftware Engineering, Fachtagung des GI-Fachbereichs Softwaretechnik (SE 2014) - Kiel, Germany, Germany
Duration: 25 Feb 201428 Feb 2014

Conference

ConferenceSoftware Engineering, Fachtagung des GI-Fachbereichs Softwaretechnik (SE 2014)
CountryGermany
CityKiel, Germany
Period25/02/1428/02/14
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 20143588