2
Publications
28
Citations
2
H-Index
2021
Active since
Affiliations
Harbin Institute of Technology(Current)
Songyan Ji is an author at Harbin Institute of Technology specializing in software maintenance, program analysis, and formal verification.
Top concepts
FuzzingEngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringSoftware Maintenance
Publications per year
2021–2023
2
2
Effuzz: Efficient fuzzing by directed search for smart contracts
Songyan Ji, Jin Wu, Junfu Qiu et al. · Information and Software Technology · 2023 · 18 citations
Rows per page
1–2 of 2