| * | 2009 |
|---|
| 10 | EE | Jason Belt,
Robby,
Xianghua Deng:
Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses.
ESEC/SIGSOFT FSE 2009: 355-364 |
| 2007 |
|---|
| 9 | EE | Xianghua Deng,
Robby,
John Hatcliff:
Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs.
SEFM 2007: 273-282 |
| 2006 |
|---|
| 8 | EE | Xianghua Deng,
Jooyong Lee,
Robby:
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.
ASE 2006: 157-166 |
| 7 | EE | Xianghua Deng,
Robby,
John Hatcliff:
Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution.
ISoLA 2006: 137 |
| 2004 |
|---|
| 6 | EE | 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: 160-164 |
| 5 | EE | Xianghua Deng,
Matthew B. Dwyer,
John Hatcliff,
Masaaki Mizuno:
SyncGen: An Aspect-Oriented Framework for Synchronization.
TACAS 2004: 158-162 |
| 2003 |
|---|
| 4 | EE | Matthew B. Dwyer,
Robby,
Xianghua Deng,
John Hatcliff:
Space Reductions for Model Checking Quasi-Cyclic Systems.
EMSOFT 2003: 173-189 |
| 3 | EE | 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: 160-173 |
| 2002 |
|---|
| 2 | EE | Xianghua Deng,
Matthew B. Dwyer,
John Hatcliff,
Georg Jung,
Robby,
Gurdip Singh:
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software.
FMCO 2002: 154-181 |
| 1 | EE | Xianghua Deng,
Matthew B. Dwyer,
John Hatcliff,
Masaaki Mizuno:
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs.
ICSE 2002: 442-452 |
