Cited By
View all- Su JDeng LWen CQin STian C(2024)CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code FeaturesTheoretical Aspects of Software Engineering10.1007/978-3-031-64626-3_22(374-391)Online publication date: 14-Jul-2024
- Su JTian CYang ZYang JYu BDuan Z(2022)Prioritized Constraint-Aided Dynamic Partial-Order ReductionProceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering10.1145/3551349.3561159(1-13)Online publication date: 10-Oct-2022
- Yang KTian CZhang NDuan ZDu H(2021)A CEGAR-Based Static–Dynamic Approach to Verifying Full Regular Properties of C ProgramsIEEE Transactions on Reliability10.1109/TR.2021.311887770:4(1455-1467)Online publication date: Dec-2021