Xianghua Deng

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