9
Publications
293
Citations
9
H-Index
1991
Active since
Affiliations
Ying Zhang is an author at Tongji University specializing in engineering, computer science, and computer engineering.
Top concepts
EngineeringComputer ScienceComputer EngineeringVerificationApplied PhysicsProgram AnalysisSoftware TestingSoftware AnalysisBuilt-in Self-testDesign For Testing
Publications per year
1991–2023
9
9
Ying Zhang, Xiaona Chai, Jun Li et al. · Journal of Alloys and Compounds · 2017 · 43 citations
Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors
Ying Zhang, Krishnendu Chakrabarty, Zebo Peng et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2019 · 14 citations
Engineering, Hardware Verification Language, Verification +23
Rows per page
1–5 of 9