Yalin Ke is an author at Iowa State University specializing in computer engineering, engineering, and formal methods.
Top concepts
EngineeringData ScienceVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2015–2015
1
1
Repairing Programs with Semantic Code Search (T)
Yalin Ke, Kathryn T. Stolee, Claire Le Goues et al. · 2015 · 196 citations
Rows per page
1–1 of 1