Statistics
Publications
4
Citations
206
H-Index
4
Active since
2017
Affiliations
The University of Texas at Austin(Current)
Jinru Hua is an author at The University of Texas at Austin specializing in formal methods, program analysis, and formal verification.
Publications per year
2017–2018
4
4
Towards practical program repair with on-demand candidate generation
Jinru Hua, Mengshi Zhang, Kaiyuan Wang et al. · 2018 · 141 citations · Full text
EdSketch: execution-driven sketching for Java
Jinru Hua, Sarfraz Khurshid · 2017 · 18 citations
Engineering, Software Engineering, Sketch-based Modeling +21
EdSynth: Synthesizing API Sequences with Conditionals and Loops
Zijiang Yang, Jinru Hua, Kaiyuan Wang et al. · 2018 · 12 citations
1–4 of 4