Cited By
View all- Zhang CSu Z(2024)SMT2Test: From SMT Formulas to Effective Test CasesProceedings of the ACM on Programming Languages10.1145/36897198:OOPSLA2(222-245)Online publication date: 8-Oct-2024
- He WDi PMing MZhang CSu TLi SSui Y(2024)Finding and Understanding Defects in Static Analyzers by Constructing Automated OraclesProceedings of the ACM on Software Engineering10.1145/36607811:FSE(1656-1678)Online publication date: 12-Jul-2024
- Ghosh SDatta SMajumder S(2024)An Examination of the Effectiveness of SMOTE-Based Algorithms on Software Defect PredictionAnalytics, Machine Learning, and Artificial Intelligence10.1007/978-3-031-75157-8_14(204-216)Online publication date: 21-Nov-2024
- Show More Cited By