@inproceedings{,
    author = {Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George},
    title = {Efficient state merging in symbolic execution},
    editor = {},
    booktitle = {PLDI '12 Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation },
    series = {},
    journal = {},
    address = {New York},
    publisher = {ACM},
    edition = {},
    year = {2012},
    isbn = {978-1-4503-1205-9},
    volume = {},
    number =  {},
    pages = {193-204},
    url = {https://doi.org/10.1145/2254064.2254088},
    doi = {10.1145/2254064.2254088},
    keywords = {},
    abstract = {},
    note = {},
    
    
    
}