Efficient State Merging in Symbolic Execution (Extended Abstract)

Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea

Research output: Contribution to conferenceAbstractpeer-review

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)
Country/TerritoryGermany
CityKiel, Germany
Period25/02/1428/02/14

Cite this