Publications

Research publications bridging Artificial Intelligence and Software Engineering

Sort by:

Showing 3 of 3 publications

1
2025

SmartExecutor: Coverage-Driven Symbolic Execution Guided via State Prioritization and Function Selection

Authors: Q Wei, F Sikder, H Feng, Y Lei, R Kacker, R Kuhn

Published in: Distributed Ledger Technologies: Research and Practice 4 (1), 1-29

View Paper
0
2025

Efficient Adaptation of Large Language Models for Smart Contract Vulnerability Detection

Authors: F Sikder, Y Lei, Y Ji

Published in: Proceedings of the 21st International Conference on Predictive Models and Data Analytics in Software Engineering

View Paper
3
2023

SmartExecutor: Coverage-driven symbolic execution guided by a function dependency graph

Authors: Q Wei, F Sikder, H Feng, Y Lei, R Kacker, R Kuhn

Published in: 2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Systems (BRAINS)

View Paper

Publication Statistics

3

Total Papers

4

Total Citations

3

Highest Citations

2

Active Years