Wei-Fan Chiang is an author at University of Utah specializing in software testing, formal verification, and software engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringComputer EngineeringSoftware Engineering
Publications per year
2013–2014
3
3
Efficient search for inputs causing high floating-point errors
Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamarić et al. · 2014 · 86 citations
Rows per page
1–3 of 3