@inproceedings{join-split,
  author = {{Hansen}, Trevor and {Schachte}, Peter and {S{\o}ndergaard}, Harald},
  editor= {Bensalem, Saddek and Peled, Doron A.},
  title = {State Joining and Splitting for the Symbolic Execution of Binaries},
  booktitle = {Runtime Verification},
  year = 2009,
  publisher = {Springer Berlin Heidelberg},
  address = {Berlin, Heidelberg},
  pages = {76--92},
  doi = {10.1007/978-3-642-04694-0_6}}

@inproceedings{rsc,
  author = {Qi, Dawei and Nguyen, Hoang D.T. and Roychoudhury, Abhik},
  title = {Path Exploration Based on Symbolic Output},
  year = 2011,
  isbn = {9781450304436},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/2025113.2025152},
  doi = {10.1145/2025113.2025152},
  booktitle = {Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering},
  pages = {278--288},
  numpages = 11,
  keywords = {relevant slice condition, symbolic execution, path exploration},
  location = {Szeged, Hungary},
  series = {ESEC/FSE '11}}

@article{merge,
  author = {Kuznetsov, Volodymyr and Kinder, Johannes and Bucur, Stefan and Candea, George},
  title = {Efficient State Merging in Symbolic Execution},
  year = 2012,
  issue_date = {June 2012},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = 47,
  number = 6,
  issn = {0362-1340},
  url = {https://doi.org/10.1145/2345156.2254088},
  doi = {10.1145/2345156.2254088},
  journal = {SIGPLAN Not.},
  month = jun,
  pages = {193--204},
  numpages = 12,
  keywords = {verification, symbolic execution, bounded software model checking, state merging, testing}}

@inproceedings{cgs,
  author = {Seo, Hyunmin and Kim, Sunghun},
  title = {How We Get There: A Context-Guided Search Strategy in Concolic Testing},
  year = 2014,
  isbn = {9781450330565},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/2635868.2635872},
  doi = {10.1145/2635868.2635872},
  booktitle = {Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering},
  pages = {413-424},
  numpages = 12,
  keywords = {symbolic execution, search strategies, Concolic testing},
  location = {Hong Kong, China},
  series = {FSE 2014}}

@article{shadow,
  author = {Kuchta, Tomasz and Palikareva, Hristina and Cadar, Cristian},
  title = {Shadow Symbolic Execution for Testing Software Patches},
  year = 2018,
  issue_date = {July 2018},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = 27,
  number = 3,
  issn = {1049-331X},
  url = {https://doi.org/10.1145/3208952},
  doi = {10.1145/3208952},
  journal = {ACM Trans. Softw. Eng. Methodol.},
  month = sep,
  articleno = 10,
  numpages = 32,
  keywords = {regression bugs, cross-version checks, Symbolic patch testing}}

@inproceedings{homi,
  author = {Cha, Sooyoung and Oh, Hakjoo},
  title = {Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy},
  year = 2020,
  isbn = {9781450370431},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3368089.3409755},
  doi = {10.1145/3368089.3409755},
  booktitle = {Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
  pages = {147--158},
  numpages = 12,
  keywords = {Online Learning, Dynamic Symbolic Execution},
  location = {Virtual Event, USA},
  series = {ESEC/FSE 2020}}

@inproceedings{hydiff,
  author = {Noller, Yannic and P\u{a}s\u{a}reanu, Corina S. and B\"{o}hme, Marcel and Sun, Youcheng and Nguyen, Hoang Lam and Grunske, Lars},
  title = {HyDiff: Hybrid Differential Software Analysis},
  year = 2020,
  isbn = {9781450371216},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3377811.3380363},
  doi = {10.1145/3377811.3380363},
  booktitle = {Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering},
  pages = {1273--1285},
  numpages = 13,
  keywords = {fuzzing, symbolic execution, differential program analysis},
  location = {Seoul, South Korea},
  series = {ICSE '20}}

@inproceedings{ddset,
  author = {Gopinath, Rahul and Kampmann, Alexander and Havrikov, Nikolas and Soremekun, Ezekiel O. and Zeller, Andreas},
  title = {Abstracting Failure-Inducing Inputs},
  year = 2020,
  isbn = {9781450380089},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3395363.3397349},
  doi = {10.1145/3395363.3397349},
  booktitle = {Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis},
  pages = {237--248},
  numpages = 12,
  keywords = {failure-inducing inputs, debugging, error diagnosis, grammars},
  location = {Virtual Event, USA},
  series = {ISSTA 2020}}

@article{paradyse,
  author = {Cha, Sooyoung and Hong, Seongjoon and Bak, Jiseong and Kim, Jingyoung and Lee, Junhee and Oh, Hakjoo},
  journal = {IEEE Transactions on Software Engineering}, 
  title = {Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics}, 
  year = 2022,
  volume = 48,
  number = 9,
  pages = {3640--3663},
  doi = {10.1109/TSE.2021.3101870}}