3
Publications
80
Citations
3
H-Index
2018
Active since
Affiliations
Georgia Institute of Technology(Current)
Shaowei Zhu is an author at Georgia Institute of Technology specializing in formal verification, engineering, and verification.
Top concepts
EngineeringVerificationComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationFuzzingData ScienceFormal MethodsSoftware Design
Publications per year
2018–2021
3
3
Xiangyu Li, Shaowei Zhu, Marcelo d’Amorim et al. · 2018 · 44 citations · Full text
Software Maintenance, Statistical Fault Localization, Automated Oracle +17
Termination analysis without the tears
Shaowei Zhu, Zachary Kincaid · 2021 · 15 citations · Full text
Rows per page
1–3 of 3