Qingyu Wu is an author at Chinese Academy of Sciences specializing in design for testing, test generation, and automated reasoning.
Top concepts
EngineeringVerificationCircuit DesignFormal MethodsTest GenerationComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware Analysis
Publications per year
2005–2023
2
2
Rows per page
1–2 of 2