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
Published
| 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
| Conference | Software Engineering, Fachtagung des GI-Fachbereichs Softwaretechnik (SE 2014) |
|---|---|
| Country | Germany |
| City | Kiel, Germany |
| Period | 25/02/14 → 28/02/14 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 20143588