- Meng Wang, Weiliang Fei, Miao Wang, Jin Cui:
Reinforcement Learning Guided Symbolic Execution for Ethereum Smart Contracts. APSEC 2023: 91-100 - Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma, Mike Whalen:
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution. AST 2023: 79-89 - Shibo Tang, Jiacheng Zhu, Yifei Gao, Jing Zhou, Dejun Mu, Wei Hu:
Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution. ATS 2023: 1-6 - Mahtab Norouzi, Mounir Elgharabawy, Kaiwen Zhang:
The Greed Trap: Uncovering Intrinsic Ethereum Honeypots Through Symbolic Execution. BCCA 2023: 440-447 - Qiping Wei, Fadul Sikder, Huadong Feng, Yu Lei, Raghu Kacker, D. Richard Kuhn:
SmartExecutor: Coverage-Driven Symbolic Execution Guided by a Function Dependency Graph. BRAINS 2023: 1-8 - Pansilu Pitigalaarachchi, Xuhua Ding, Haiqing Qiu, Haoxin Tu, Jiaqi Hong, Lingxiao Jiang:
KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis. CCS 2023: 2009-2023 - Yuanpeng Wang, Ziqi Zhang, Ningyu He, Zhineng Zhong, Shengjian Guo, Qinkun Bao, Ding Li, Yao Guo, Xiangqun Chen:
SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution. CCS 2023: 2710-2724 - Hany Abdelmaksoud, Zain Alabedin Haj Hammadeh, Görschwin Fey, Daniel Lüdtke:
DEL: Dynamic Symbolic Execution-based Lifter for Enhanced Low-Level Intermediate Representation. DATE 2023: 1-2 - Niklas Bruns, Vladimir Herdt, Rolf Drechsler:
Processor Verification using Symbolic Execution: A RISC-V Case-Study. DATE 2023: 1-6 - Daniel Dorfmeister, Flavio Ferrarotti, Bernhard Fischer, Evelyn Nicole Haslinger, Rudolf Ramler, Markus Zimmermann:
An Approach for Safe and Secure Software Protection Supported by Symbolic Execution. DEXA Workshops 2023: 67-78 - Henrique Botelho Guerra, João F. Ferreira, João Costa Seco:
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution. ECOOP 2023: 4:1-4:28 - Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos:
Toward Tool-Independent Summaries for Symbolic Execution. ECOOP 2023: 24:1-24:29 - Kaki Ryan, Cynthia Sturton:
Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs. FMCAD 2023: 110-121 - Serena Lucca, Christophe Crochet, Charles-Henry Bertrand Van Ouytsel, Axel Legay:
On Exploiting Symbolic Execution to Improve the Analysis of RAT Samples with angr. FPS (1) 2023: 339-354 - Kaki Ryan, Matthew Gregoire, Cynthia Sturton:
SEIF: Augmented Symbolic Execution for Information Flow in Hardware Designs. HASP@MICRO 2023: 1-9 - Haoxin Tu:
Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation. ICSE Companion 2023: 218-220 - Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf:
Compiling Parallel Symbolic Execution with Continuations. ICSE 2023: 1316-1328 - Ciprian Paduraru, Marina Cernat, Adelina-Nicoleta Staicu:
RPA Testing Using Symbolic Execution. ICSOFT 2023: 269-275 - Zhen Huang:
Targeted Symbolic Execution for UAF Vulnerabilities. ICSRS 2023: 282-289 - Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen:
Denotational Semantics for Symbolic Execution. ICTAC 2023: 370-387 - Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar:
KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. ISSTA 2023: 1491-1494 - Jacques Carette, Gerardo Ortiz, Amr Sabry:
Symbolic Execution of Hadamard-Toffoli Quantum Circuits. PEPM@POPL 2023: 14-26 - Huangli Cai, Zhiyi Zhang, Yifan Jian, Dan Li, Zhiqiu Huang:
BDGSE: A Symbolic Execution Technique for High MC/DC. QRS 2023: 313-324 - Rui Su, Zhiyi Zhang, Yuqian Zhou, Yongming Yao:
Test Generation for Mutation Testing by Symbolic Execution. QRS Companion 2023: 55-61 - Ward Muylaert, Johannes Härtel, Coen De Roover:
Symbolic Execution to Detect Semantic Merge Conflicts. SCAM 2023: 186-197 - Theo De Castro Pinto, Antoine Rollet, Grégoire Sutre, Ireneusz Tobor:
Guiding Symbolic Execution with A-Star. SEFM 2023: 47-65 - Kazusa Takemoto, Shingo Takada:
Applying Symbolic Execution to Semantic Code Clone Detection (S). SEKE 2023: 118-122 - Ignacio Tiraboschi, Tamara Rezk, Xavier Rival:
Sound Symbolic Execution via Abstract Interpretation and Its Application to Security. VMCAI 2023: 267-295 - Junye Wen, Tarek Mahmud, Meiru Che, Yan Yan, Guowei Yang:
Intelligent Constraint Classification for Symbolic Execution. SANER 2023: 144-154