Runfa Yan

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Highly Accurate

Functional Programs

Sufficient Conditions

Top Venues

Publications

Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang
Precise condition synthesis for program repair. ICSE (2017)
Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang
Precise Condition Synthesis for Program Repair. CoRR (2016)