Hanfei Wang
Wuhan University(CN)Tsinghua University(CN)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Software Engineering Research, Advanced Database Systems and Queries, Software Testing and Debugging Techniques
Most-Cited Works
- → Leveraging design rules to improve software architecture recovery(2013)53 cited
- → Cross-domain recommendation with user personality(2020)35 cited
- → Recovering design patterns to support program comprehension(2012)9 cited
- → A Fault-Localization Approach Based on the Coincidental Correctness Probability(2015)6 cited
- → Post-condition-Directed Invariant Inference for Loops over Data Structures(2014)5 cited
- → Assertion-Directed Precondition Synthesis for Loops over Data Structures(2015)2 cited
- → Research on the Knowledge and Ability dual-driven Teaching Model for the Course of Compilers Principles(2020)1 cited
- 基于数据流分析的单链表可达性自动化验证 (Automatic Verification of Singly Linked List Pointer's Reachability Property Using Data-flow Analysis Method).(2015)
- → A web warehouse system for semi-automatically gathering and managing online news(2005)
- → SOME PROBLEMS IN PARTIAL ABSTRACT DATA TYPE(1992)