|
Search the dblp DataBase
Hongwei Zeng:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hongwei Zeng, Huaikou Miao
Data Communication Model of Grid Workflow. [Citation Graph (0, 0)][DBLP] ICEBE, 2006, pp:647-654 [Conf]
- Zhicheng Wen, Huaikou Miao, Hongwei Zeng
Generating Proof Obligation to Verify Object-Z Specification. [Citation Graph (0, 0)][DBLP] ICSEA, 2006, pp:38- [Conf]
- Huaikou Miao, Hongwei Zeng
Model Checking-based Verification of Web Application. [Citation Graph (0, 0)][DBLP] ICECCS, 2007, pp:47-55 [Conf]
- Hongwei Zeng, Huaikou Miao
Auto-Generating Test Sequences for Web Applications. [Citation Graph (0, 0)][DBLP] ICWE, 2007, pp:301-305 [Conf]
- Hongwei Zeng, Huaikou Miao, Jing Liu
Specification-based Test Generation and Optimization Using Model Checking. [Citation Graph (0, 0)][DBLP] TASE, 2007, pp:349-355 [Conf]
A New Approach to Automated Redundancy Reduction for Test Sequences. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|