@inproceedings{klee,
  author = {Cristian {Cadar} and Daniel {Dunbar} and Dawson {Engler}},
  title = {{KLEE}: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs},
  booktitle = {USENIX Symp. Oper. Syst. Des. and Implement. (OSDI)},
  year = 2008,
  url = {https://www.usenix.org/conference/osdi-08/klee-unassisted-and-automatic-generation-high-coverage-tests-complex-systems},
  month = dec,
  doi = {10.5555/1855741.1855756}}

@inproceedings{join-split,
  author = {Trevor {Hansen} and Peter {Schachte} and Harald {S{\o}ndergaard}},
  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} D.T. Hoang and Abhik {Roychoudhury}},
  title = {Path Exploration Based on Symbolic Output},
  year = 2011,
  isbn = {9781450304436},
  publisher = {Association for Computing Machinery},
  url = {https://doi.org/10.1145/2025113.2025152},
  doi = {10.1145/2025113.2025152},
  booktitle = {Proc. ACM SIGSOFT Symp. and Eur. Conf. Found. Softw. Eng.},
  pages = {278--288},
  numpages = 11,
  keywords = {relevant slice condition, symbolic execution, path exploration},
  series = {ESEC/FSE '11}}

@article{merge,
  author = {Volodymyr {Kuznetsov} and Johannes {Kinder} and Stefan {Bucur} and George {Candea}},
  title = {Efficient State Merging in Symbolic Execution},
  year = 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},
  url = {https://doi.org/10.1145/2635868.2635872},
  doi = {10.1145/2635868.2635872},
  booktitle = {Proc. ACM SIGSOFT Int. Symp. Found. Softw. Eng.},
  pages = {413-424},
  numpages = 12,
  keywords = {symbolic execution, search strategies, Concolic testing},
  series = {FSE 2014}}

@inproceedings{overfit,
  author = {Edward K. {Smith} and Earl T. {Barr} and Claire {Le Goues} and Yuriy {Brun}},
  title = {Is the Cure Worse than the Disease? Overfitting in Automated Program Repair},
  year = 2015,
  isbn = {9781450336758},
  publisher = {Association for Computing Machinery},
  url = {https://doi.org/10.1145/2786805.2786825},
  doi = {10.1145/2786805.2786825},
  booktitle = {Proc. Joint Meet. Found. Softw. Eng.},
  pages = {532--543},
  numpages = 12,
  keywords = {GenProg, TrpAutoRepair, independent evaluation, IntroClass, empirical evaluation, automated program repair},
  series = {ESEC/FSE 2015}}

@article{repairnator,
  author = {Martin {Monperrus} and Simon {Urli} and Thomas {Durieux} and Matias {Martinez} and Benoit {Baudry} and Lionel {Seinturier}},
  title = {Repairnator Patches Programs Automatically},
  year = 2019,
  publisher = {Association for Computing Machinery},
  volume = 2019,
  url = {https://doi.org/10.1145/3349589},
  doi = {10.1145/3349589},
  journal = {Ubiquity},
  month = jul,
  articleno = 2,
  numpages = 12}

@article{shadow,
  author = {Tomasz {Kuchta} and Hristina {Palikareva} and Cristian {Cadar}},
  title = {Shadow Symbolic Execution for Testing Software Patches},
  year = 2018,
  publisher = {Association for Computing Machinery},
  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},
  url = {https://doi.org/10.1145/3368089.3409755},
  doi = {10.1145/3368089.3409755},
  booktitle = {Proc. ACM Joint Meet. Eur. Softw. Eng. Conf. and Symp. Found. Softw. Eng.},
  pages = {147--158},
  numpages = 12,
  keywords = {Online Learning, Dynamic Symbolic Execution},
  series = {ESEC/FSE 2020}}

@inproceedings{hydiff,
  author = {Yannic {Noller} and Corina S. {P\u{a}s\u{a}reanu} and Marcel {B\"{o}hme} and {Sun} Youcheng and {Nguyen} Hoang Lam and Lars {Grunske}},
  title = {HyDiff: Hybrid Differential Software Analysis},
  year = 2020,
  isbn = {9781450371216},
  publisher = {Association for Computing Machinery},
  url = {https://doi.org/10.1145/3377811.3380363},
  doi = {10.1145/3377811.3380363},
  booktitle = {Proc. ACM/IEEE Int. Conf. Softw. Eng.},
  pages = {1273--1285},
  numpages = 13,
  keywords = {fuzzing, symbolic execution, differential program analysis},
  series = {ICSE '20}}

@inproceedings{ddset,
  author = {Rahul {Gopinath} and Alexander {Kampmann} and Nikolas {Havrikov} and Ezekiel O. {Soremekun} and Andreas {Zeller}},
  title = {Abstracting Failure-Inducing Inputs},
  year = 2020,
  isbn = {9781450380089},
  publisher = {Association for Computing Machinery},
  url = {https://doi.org/10.1145/3395363.3397349},
  doi = {10.1145/3395363.3397349},
  booktitle = {Proc. ACM SIGSOFT Int. Symp. Softw. Test. and Analysis},
  pages = {237--248},
  numpages = 12,
  keywords = {failure-inducing inputs, debugging, error diagnosis, grammars},
  series = {ISSTA 2020}}

@inproceedings{test-based,
  author = {{Liu} Kui and {Wang} Shangwen and Anil {Koyuncu} and {Kim} Kisub and Tegawend\'{e} F. {Bissyand\'{e}} and {Kim} Dongsun and {Wu} Peng and Jacques {Klein} and {Mao} Xiaoguang and Yves {Le Traon}},
  title = {On the Efficiency of Test Suite Based Program Repair: A Systematic Assessment of 16 Automated Repair Systems for Java Programs},
  year = 2020,
  isbn = {9781450371216},
  publisher = {Association for Computing Machinery},
  doi = {10.1145/3377811.3380338},
  booktitle = {Proc. ACM/IEEE Int. Conf. Softw. Eng.},
  pages = {615--627},
  numpages = 13,
  keywords = {patch generation, program repair, empirical assessment, efficiency},
  series = {ICSE '20}}

@article{apr,
  author = {Claire {Le Goues} and M. {Pradel} and Abhik {Roychoudhury} and S. {Chandra}},
  journal = {IEEE Software},
  title = {Automatic Program Repair},
  year = 2021,
  volume = 38,
  number = {04},
  issn = {1937-4194},
  pages = {22--27},
  doi = {10.1109/MS.2021.3072577},
  publisher = {IEEE Computer Society},
  address = {Los Alamitos, CA, USA},
  month = jul}

@article{paradyse,
  author = {{Cha} Sooyoung and {Hong} Seongjoon and {Bak} Jiseong and {Kim} Jingyoung and {Lee} Junhee and {Oh} Hakjoo},
  journal = {IEEE Trans. Softw. Eng.},
  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}}