@article{entropy,
  author = {Claude Elwood Shannon},
  journal = {The Bell System Technical Journal},
  title = {A mathematical theory of communication},
  year = 1948,
  volume = {27},
  number = {3},
  pages = {379-423},
  note = {\doi{10.1002/j.1538-7305.1948.tb01338.x}}}

@article{tree-pattern,
  author = {Christoph M. Hoffmann and Michael J. O'Donnell},
  title = {Pattern Matching in Trees},
  year = 1982,
  publisher = {ACM},
  volume = 29,
  number = 1,
  issn = {0004-5411},
  note = {\doi{10.1145/322290.322295}},
  journal = {J. ACM},
  month = jan,
  pages = {68--95},
  numpages = 28}

@inproceedings{k-sat,
  author = {Russell Impagliazzo and Ramamohan Paturi},
  booktitle = {Proc. IEEE Conf. Comput. Complex. (CCC)},
  title = {Complexity of {k-SAT}},
  year = 1999,
  pages = {237--240},
  note = {\doi{10.1109/CCC.1999.766282}}}

@article{incremental,
  author = {Craig Larman and Victor R. Basili},
  journal = {Computer},
  publisher = {IEEE Computer Society},
  title = {Iterative and incremental developments: A brief history},
  year = 2003,
  volume = 36,
  number = 6,
  pages = {47--56},
  note = {\doi{10.1109/MC.2003.1204375}}}

@inproceedings{nix,
  author = {Eelco Dolstra and Armijn Hemel},
  title = {Purely Functional System Configuration Management},
  booktitle = {USENIX workshop on Hot top. oper. syst. (HotOS)},
  year = 2007,
  month = may,
  url = {https://www.usenix.org/conference/hotos-xi/purely-functional-system-configuration-management}}

@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,
  month = dec,
  url = {https://www.usenix.org/conference/osdi-08/klee-unassisted-and-automatic-generation-high-coverage-tests-complex-systems}}

@manual{klee-docs,
  title = {\klee{} documentation},
  organization = {{the \textsc{klee} team}},
  url = {https://klee.github.io/docs}}

@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},
  pages = {76--92},
  note = {\doi{10.1007/978-3-642-04694-0\_6}}}

@inproceedings{smt,
  author = {Leonardo de Moura and Nikolaj Bj{\o}rner},
  title = {Satisfiability Modulo Theories: An Appetizer},
  booktitle = {Formal Methods: Foundations and Applications},
  year = 2009,
  publisher = {Springer Berlin Heidelberg},
  pages = {23--36},
  isbn = {978-3-642-10452-7},
  note = {\doi{10.1007/978-3-642-10452-7\_3}}}

@inproceedings{rsc,
  author = {Qi, Dawei and Nguyen, D.T. Hoang and Abhik Roychoudhury},
  title = {Path Exploration Based on Symbolic Output},
  year = 2011,
  isbn = {9781450304436},
  note = {\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}}

@inproceedings{directed,
  author = {Ma, Kin-Keung and Phang, Khoo Yit
            and Jeffrey S. Foster and Michael Hicks},
  title = {Directed Symbolic Execution},
  year = 2011,
  isbn = {9783642237010},
  booktitle = {Proc. Int. Conf. Static Analysis (SAS)},
  pages = {95--111},
  note = {\doi{10.5555/2041552.2041563}},
  numpages = 17}

@article{merge,
  author = {Volodymyr Kuznetsov and Johannes Kinder
            and Stefan Bucur and George Candea},
  title = {Efficient State Merging in Symbolic Execution},
  year = 2012,
  publisher = {ACM},
  address = {New York, NY, USA},
  volume = 47,
  number = 6,
  issn = {0362-1340},
  note = {\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 = {ACM},
  url = {https://doi.org/10.1145/2635868.2635872},
  doi = {10.1145/2635868.2635872},
  booktitle = {Proc. ACM SIGSOFT Int. Symp. Found. Softw. Eng. (FSE)},
  pages = {413-424},
  numpages = 12,
  keywords = {symbolic execution, search strategies, Concolic testing}}

@article{introclass,
  author = {Claire {Le Goues} and Neal Holtschulte and Edward K. Smith
            and Yuriy Brun and Premkumar Devanbu and Stephanie Forrest
            and Westley Weimer},
  title = {The {ManyBugs} and {IntroClass} Benchmarks
           for Automated Repair of {C} Programs},
  journal = {IEEE Trans. Softw. Eng. (TSE)},
  year = 2015,
  issn = {0098-5589},
  volume = {41},
  number = {12},
  month = dec,
  pages = {1236--1256},
  note = {\doi{10.1109/TSE.2015.2454513}}}

@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 = {ACM},
  note = {\doi{10.1145/2786805.2786825}},
  booktitle = {Proc. Joint Meet. Found. Softw. Eng. (FSE)},
  pages = {532--543},
  numpages = 12,
  keywords = {GenProg, TrpAutoRepair, independent evaluation, IntroClass,
              empirical evaluation, automated program repair}}

@inproceedings{parallel,
  author = {Emil Rakadjiev and Shimosawa, Taku
            and Mine, Hiroshi and Oshima, Satoshi},
  booktitle = {IEEE Trustcom/BigDataSE/ISPA},
  title = {Parallel SMT Solving and Concurrent Symbolic Execution},
  year = 2015,
  volume = 3,
  pages = {17--26},
  note = {\doi{10.1109/Trustcom.2015.608}}}

@article{fl-survey,
  author = {Wong, W. Eric and Gao, Ruizhi and Li, Yihao
            and Rui Abreu and Franz Wotawa},
  journal = {IEEE Trans. Softw. Eng. (TSE)},
  title = {A Survey on Software Fault Localization},
  year = 2016,
  volume = 42,
  number = 8,
  pages = {707--740},
  note = {\doi{10.1109/TSE.2016.2521368}}}

@inproceedings{angelix,
  author={Sergey Mechtaev and Yi, Jooyong and Abhik Roychoudhury},
  booktitle = {Proc. ACM/IEEE Int. Conf. Softw. Eng. (ICSE)},
  title = {Angelix: Scalable Multiline Program Patch Synthesis
           via Symbolic Analysis},
  year = 2016,
  pages = {691--701},
  note = {\doi{10.1145/2884781.2884807}}}

@inproceedings{prophet,
  author = {Long, Fan and Martin Rinard},
  title = {Automatic Patch Generation by Learning Correct Code},
  year = 2016,
  note = {\doi{10.1145/2837614.2837617}},
  booktitle = {Proc. ACM SIGPLAN-SIGACT Symp. Princ. Program. Lang. (POPL)},
  pages = {298--312},
  numpages = {15},
  keywords = {Program repair, Learning correct code, Code correctness model}}

@article{apr,
  author = {Claire {Le Goues} and Michael {Pradel} and Abhik Roychoudhury},
  title = {Automated Program Repair},
  year = 2019,
  volume = 62,
  number = 12,
  issn = {0001-0782},
  note = {\doi{10.1145/3318162}},
  journal = {Commun. ACM},
  month = nov,
  pages = {56--65},
  numpages = 10}

@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 = {ACM},
  volume = 2019,
  url = {https://doi.org/10.1145/3349589},
  doi = {10.1145/3349589},
  journal = {Ubiquity},
  month = jul,
  articleno = 2,
  numpages = 12}

@article{hypothesis,
  note = {\doi{10.21105/joss.01891}},
  year = 2019,
  publisher = {The Open Journal},
  volume = 4,
  number = 43,
  pages = {1891},
  author = {David R. MacIver and Zac Hatfield-Dodds
            and {many other contributors}},
  title = {Hypothesis: A new approach to property-based testing},
  journal = {Journal of Open Source Software}}

@inproceedings{nezha,
  author = {Theofilos Petsios and Adrian Tang and Salvatore Stolfo
            and Angelos D. Keromytis and Suman Jana},
  booktitle = {IEEE Symp. Secur. and Priv. (SP)},
  title = {Nezha: Efficient Domain-Independent Differential Testing},
  year = 2017,
  pages = {615--632},
  note = {\doi{10.1109/SP.2017.27}}}

@inproceedings{dbgbench,
  author = {Marcel B\"{o}hme and Ezekiel Olamide Soremekun
            and Sudipta Chattopadhyay and Emamurho Ugherughe
            and Andreas Zeller},
  title = {Where is the Bug and How is it Fixed?
           {An} Experiment with Practitioners},
  booktitle = {Proc. Joint Meet. Eur. Softw. Eng. Conf.
               and ACM Symp. Found. Softw. Eng. (ESEC/FSE)},
  year = 2017,
  note = {\doi{10.1145/3106237.3106255}}}

@inproceedings{fl-eval,
  author = {Spencer Pearson and Jos\'e Campos and Ren\'e Just
            and Gordon Fraser and Rui Abreu and Michael D. Ernst
            and Deric Pang and Benjamin Keller},
  booktitle = {Proc. ACM/IEEE Int. Conf. Softw. Eng. (ICSE)},
  title = {Evaluating and Improving Fault Localization},
  year = 2017,
  pages = {609--620},
  note = {\doi{10.1109/ICSE.2017.62}}}

@inbook{atoi,
  title = {The Open Group Base Specifications},
  year = 2018,
  author = {{IEEE} and {The Open Group}},
  chapter = {{atoi}},
  url = {https://pubs.opengroup.org/onlinepubs/9699919799/functions/atoi.html}}

@article{shadow,
  author = {Tomasz Kuchta and Hristina Palikareva and Cristian Cadar},
  title = {Shadow Symbolic Execution for Testing Software Patches},
  year = 2018,
  publisher = {ACM},
  volume = 27,
  number = 3,
  issn = {1049-331X},
  note = {\doi{10.1145/3208952}},
  journal = {ACM Trans. Softw. Eng. Methodol. (TOSEM)},
  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},
  note = {\doi{10.1145/3368089.3409755}},
  booktitle = {Proc. Joint Meet. Eur. Softw. Eng. Conf.
               and ACM Symp. Found. Softw. Eng. (ESEC/FSE)},
  pages = {147--158},
  numpages = 12,
  keywords = {Online Learning, Dynamic Symbolic Execution}}

@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},
  note = {\doi{10.1145/3377811.3380363}},
  booktitle = {Proc. ACM/IEEE Int. Conf. Softw. Eng. (ICSE)},
  pages = {1273--1285},
  numpages = 13,
  keywords = {fuzzing, symbolic execution, differential program analysis}}

@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 = {ACM},
  url = {https://doi.org/10.1145/3395363.3397349},
  doi = {10.1145/3395363.3397349},
  booktitle = {Proc. ACM SIGSOFT Int. Symp. Softw. Test. and Analysis (ISSTA)},
  pages = {237--248},
  numpages = 12,
  keywords = {failure-inducing inputs, debugging, error diagnosis, grammars}}

@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 Le Traon, Yves},
  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 = {ACM},
  doi = {10.1145/3377811.3380338},
  booktitle = {Proc. ACM/IEEE Int. Conf. Softw. Eng. (ICSE)},
  pages = {615--627},
  numpages = 13,
  keywords = {patch generation, program repair,
              empirical assessment, efficiency}}

@inproceedings{cpr,
  author = {Ridwan Salihin Shariffdeen and Yannic Noller
            and Lars Grunske and Abhik Roychoudhury},
  title = {Concolic Program Repair},
  year = 2021,
  note = {\doi{10.1145/3453483.3454051}},
  booktitle = {Proc. ACM SIGPLAN Int. Conf.
               Program. Lang. Des. and Implement. (PLDI)},
  pages = {390--405},
  numpages = 16,
  keywords = {program repair, program synthesis,
              symbolic execution, patch overfitting}}

@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. (TSE)},
  title = {Enhancing Dynamic Symbolic Execution
           by Automatically Learning Search Heuristics},
  year = 2022,
  volume = 48,
  number = 9,
  pages = {3640--3663},
  note = {\doi{10.1109/TSE.2021.3101870}}}

@article{trident,
  author = {Nikhil Parasaram and Earl T. Barr and Sergey Mechtaev},
  journal = {IEEE Trans. Softw. Eng. (TSE)},
  title = {Trident: Controlling Side Effects in Automated Program Repair},
  year = 2022,
  pages = {4717-4732},
  note = {\doi{10.1109/TSE.2021.3124323}}}

@inbook{bc,
  title = {{LLVM} 13.0.1 documentation},
  month = feb,
  year = 2022,
  author = {{LLVM Project}},
  chapter = {LLVM Bitcode File Format},
  url = {https://releases.llvm.org/13.0.1/docs/BitCodeFormat.html}}

@inproceedings{semclone,
  author = {Kazusa Takemoto and Shingo Takada},
  title = {Applying Symbolic Execution to Semantic Code Clone Detection},
  booktitle = {Int. Conf. Softw. Eng. and Knowl. Eng. (SEKE)},
  pages = {118--122},
  publisher = {{KSI} Research Inc.},
  year = 2023,
  note = {\doi{10.18293/SEKE2023-070}}}

@inbook{unidiff,
  author = {David MacKenzie and Paul Eggert and Richard Stallman},
  title = {Comparing and Merging Files
           for Diffutils 3.10 and \texttt{patch} 2.5.4},
  publisher = {GNU Project},
  chapter = {\texttt{diff} Output Formats},
  pages = {13},
  month = jan,
  year = 2023,
  url = {https://www.gnu.org/software/diffutils/manual/html_node/Detailed-Unified.html}}

@online{msv,
  author = {Kim, Youngjae},
  title = {{MSV}},
  publisher = {Suresoft},
  url = {https://github.com/Suresoft-GLaDOS/MSV}}