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 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 |
ID: 20143588