Xianghua Deng

Publication Activity (10 Years)

Years Active: 2002-2013
Publications (10 Years): 0

Top Topics

Classification Algorithm

Algorithms And Data Structures

Top Venues

IEEE Trans. Evol. Comput.

Autom. Softw. Eng.

NASA Formal Methods

Publications

Jooyong Yi, Robby, Xianghua Deng, Abhik Roychoudhury
Past expression: encapsulating pre-states at post-conditions by means of AOP. AOSD (2013)
Thang Nguyen Bui, Xianghua Deng, Catherine M. Zrncic
An Improved Ant-Based Algorithm for the Degree-Constrained Minimum Spanning Tree Problem. IEEE Trans. Evol. Comput. 16 (2) (2012)
Xianghua Deng, Jooyong Lee, Robby
Efficient and formal generalized symbolic execution. Autom. Softw. Eng. 19 (3) (2012)
Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng
Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. NASA Formal Methods (2012)
Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng
Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution. NASA Formal Methods (2011)
Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng
Enhancing spark's contract checking facilities using symbolic execution. SIGAda (2011)
Jason Belt, Robby, Xianghua Deng
Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. ESEC/SIGSOFT FSE (2009)
Xianghua Deng, Robby, John Hatcliff
Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. SEFM (2007)
Xianghua Deng, Robby, John Hatcliff
Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. ISoLA (2006)
Xianghua Deng, Jooyong Lee, Robby
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. ASE (2006)
Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno
SyncGen: An Aspect-Oriented Framework for Synchronization. TACAS (2004)
Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh
Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. FASE (2004)
Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff
Space Reductions for Model Checking Quasi-Cyclic Systems. EMSOFT (2003)
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. ICSE (2003)
Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. ICSE (2002)
Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. FMCO (2002)