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
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
|
@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}}
|
