5
Publications
210
Citations
5
H-Index
2017
Active since
Affiliations
Liushan Chen is an author at Hong Kong Polytechnic University specializing in engineering, software maintenance, and formal verification.
Top concepts
EngineeringSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringSoftware MaintenanceCompilers
Publications per year
2017–2023
5
5
Contract-based program repair without the contracts
Liushan Chen, Yu Pei, Carlo A. Furia · 2017 · 125 citations
Rows per page
1–5 of 5