Efficient state merging in symbolic execution (extended abstract)

Kuznetsov, VolodymyrKinder, JohannesBucur, StefanCandea, GeorgeHasselbring, WilhelmEhmke, Nils Christian2020-01-072020-01-072014978-388579-621-3https://dl.gi.de/handle/20.500.12116/30951enEfficient state merging in symbolic execution (extended abstract)Text/Conference Paper1617-5468