1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
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}}
|
