Concepedia
Statistics
Publications
8
Citations
327
H-Index
Active since
2002
Affiliations
Kansas State University(Current)
Pennsylvania State University
Google (United States)
Xianghua Deng is an author at Kansas State University specializing in computer science, computing, and formal methods.
Publications per year
2002–2011
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems
Xianghua Deng, Jooyong Lee, Robby · 2006 · 106 citations
Computing, Computer Science, Computer Systems +15
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Xianghua Deng, Matthew B. Dwyer, John Hatcliff et al. · 2002 · 68 citations
Computing, Computer Engineering, Computer Science +17
Kiasan/KUnit: Automatic Test Case Generation and Analysis Feedback for Open Object-oriented Systems
Xianghua Deng, Robby, John Hatcliff · 2007 · 36 citations
An Improved Ant-Based Algorithm for the Degree-Constrained Minimum Spanning Tree Problem
Thang Nguyen Bui, Xianghua Deng, Catherine M. Zrncic · IEEE Transactions on Evolutionary Computation · 2011 · 30 citations
Natural Sciences, Computer Engineering, Computer Science +14
Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs
Xianghua Deng, Robby, John Hatcliff · 2007 · 26 citations
Computing, Computer Science, Algorithms +13
1–5 of 8