Chen Yuanjun is an author at Guangxi Medical University specializing in hardware security, formal verification, and system software.
Top concepts
EngineeringVerificationStatic AnalysisSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisSoftware Security
Publications per year
2013–2021
2
2
Dynamically validating static memory leak warnings
Mengchen Li, Chen Yuanjun, Linzhang Wang et al. · 2013 · 28 citations
Rows per page
1–2 of 2