1 files changed, 136 insertions, 0 deletions
diff --git a/ref.bib b/ref.bib
new file mode 100644
index 0000000..52e1f75
--- /dev/null
+++ b/ref.bib
@@ -0,0 +1,136 @@
+@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}}