Xianghua Deng

According to our database, Xianghua Deng authored at least 16 papers between 2002 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Past expression: encapsulating pre-states at post-conditions by means of AOP.

Jooyong Yi, Robby, Xianghua Deng, Abhik Roychoudhury

Proceedings of the Aspect-Oriented Software Development, 2013

2012

An Improved Ant-Based Algorithm for the Degree-Constrained Minimum Spanning Tree Problem.

Thang Nguyen Bui, Xianghua Deng, Catherine M. Zrncic

IEEE Trans. Evol. Comput., 2012

Efficient and formal generalized symbolic execution.

Xianghua Deng, Jooyong Lee, Robby

Autom. Softw. Eng., 2012

Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems.

Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng

Proceedings of the NASA Formal Methods, 2012

2011

Enhancing spark's contract checking facilities using symbolic execution.

Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng

Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, 2011

Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution.

Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng

Proceedings of the NASA Formal Methods, 2011

2009

Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses.

Jason Belt, Robby, Xianghua Deng

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

2007

Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs.

Xianghua Deng, Robby, John Hatcliff

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

2006

Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.

Xianghua Deng, Jooyong Lee, Robby

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution.

Xianghua Deng, Robby, John Hatcliff

Proceedings of the Leveraging Applications of Formal Methods, 2006

2004

SyncGen: An Aspect-Oriented Framework for Synchronization.

Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems.

Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh

Proceedings of the Fundamental Approaches to Software Engineering, 2004

2003

Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems.

John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath

Proceedings of the 25th International Conference on Software Engineering, 2003

Space Reductions for Model Checking Quasi-Cyclic Systems.

Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff

Proceedings of the Embedded Software, Third International Conference, 2003

2002

Invariant-based specification, synthesis, and verification of synchronization in concurrent programs.

Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno

Proceedings of the 24th International Conference on Software Engineering, 2002

Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software.

Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh

Proceedings of the Formal Methods for Components and Objects, 2002