1
Publications
11
Citations
1
H-Index
2022
Active since
Affiliations
Beijing Institute of Technology(Current)
Enze Ma is an author at Beijing Institute of Technology specializing in test generation, formal methods, and computer engineering.
Top concepts
FuzzingEngineeringFormal MethodsSoftware DesignTest GenerationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2022–2022
1
1
Scalable Path Search for Automated Test Case Generation
Enze Ma, Xiufeng Fu, Xi Wang · Electronics · 2022 · 11 citations · Full text
Rows per page
1–1 of 1