Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Hongwei Zeng
Observed names:
Hong-Wei ZENG,
Hong-Wei Zeng,
Hong-wei Zeng,
Zeng Hong-Wei
Institution:
Shanghai University
Observed institutions:
Shanghai University,
Wuhan University,
State Key Laboratory of Software Engineering,
Shanghai Key Laboratory of Computer Software Testing and Evaluating
ORCID:
0000-0003-4215-3446
Observed ORCID:
0000-0003-4215-3446
OpenAlex ID:
A5101416222
Periodic Collaboration and Real-Time Dispatch Using an Actor–Critic Framework for UAV Movement in Mobile Edge Computing
2024
·
Hongwei Zeng
, Zhongzhi Zhu
, et al.
·
IEEE Internet of Things Journal
·
47
Model Checking-based Verification of Web Application
2007
·
Huaikou Miao
, Hongwei Zeng
·
33
A Practical Web Testing Model for Web Application Testing
2007
·
Zhongsheng Qian
, Huaikou Miao
, et al.
·
25
Test case prioritization based on requirement correlations
2016
·
Tingting Ma
, Hongwei Zeng
, et al.
·
IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)
·
18
Location-Based Test Case Prioritization for Software Embedded in Mobile Devices Using the Law of Gravitation
2019
·
Xiaolin Wang
, Hongwei Zeng
, et al.
·
Mobile Information Systems
·
15
PDF
Nondeterministic Probabilistic Petri Net — A New Method to Study Qualitative and Quantitative Behaviors of System
2013
·
Yang Liu
, Huai-Kou Miao
, et al.
·
Journal of Computer Science and Technology
·
11
A Heuristic Model-Based Test Prioritization Method for Regression Testing
2012
·
Xiaobo Han
, Hongwei Zeng
, et al.
·
International Symposium on Computer, Consumer and Control
·
11
FSM-Based Testing: Theory, Method and Evaluation
2011
·
Pan LIU
, Huai-Kou MIAO
, et al.
·
Chinese Journal of Computers
·
10
Specification-based Test Generation and Optimization Using Model Checking
2007
·
Hongwei Zeng
, Huaikou Miao
, et al.
·
9
A New Approach to Automated Redundancy Reduction for Test Sequences
2009
·
Huaikou Miao
, Pan Liu
, et al.
·
IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)
·
7
Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things
2018
·
Weiwei Lin
, Hongwei Zeng
, et al.
·
Security and Communication Networks
·
6
PDF
Dynamic test case prioritization based on multi-objective
2014
·
Xiaolin Wang
, Hongwei Zeng
·
IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)
·
6
Service Reconfiguration Architecture Based on Probabilistic Modeling Checking
2014
·
Honghao Gao
, Huaikou Miao
, et al.
·
IEEE International Conference on Web Services (ICWS)
·
6
The Syntactic and Semantic Model of Web Services Composition Based Category
2008
·
Xinlin Zhang
, Huaikou Miao
, et al.
·
International Conference on Advanced Computer Theory and Engineering
·
6
Static Analysis Technique of Cross-Browser Compatibility Detecting
2015
·
Sujuan Xu
, Hongwei Zeng
·
5
Modeling web application for cross-browser compatibility testing
2014
·
Xinxin Li
, Hongwei Zeng
·
IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)
·
5
Probabilistic Petri Net and its Logical Semantics
2011
·
Yang Liu
, Huaikou Miao
, et al.
·
International Conference on Software Engineering Research, Management and Applications (SERA)
·
5
Cross-Browser Compatibility Testing Based on Model Comparison
2015
·
Heng Shi
, Hongwei Zeng
·
4
Model checking-based testing of Web applications
2007
·
Hongwei Zeng
, Huaikou Miao
·
Wuhan University Journal of Natural Sciences
·
3
Auto-Generating Test Sequences for Web Applications
2007
·
Hongwei Zeng
, Huaikou Miao
·
Springer eBooks
·
3
PDF
UAV-D2D Assisted Multi-Agent Parameter-Sharing for Optimizing Energy Consumption and Task Latency in MEC Task Offloading
2025
·
Xi Wang
, Xiaotian Liu
, et al.
·
IEEE Transactions on Consumer Electronics
·
2
The Cuckoo Search and Integer Linear Programming Based Approach to Time-Aware Test Case Prioritization Considering Execution Environment
2019
·
Yu Wong
, Hongwei Zeng
, et al.
·
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
·
2
Deadlock detection using abstraction refinement
2010
·
Hong-wei Zeng
·
Journal of Shanghai University (English Edition)
·
2
Deadlock Detection for Parallel Composition of Components
2010
·
Hongwei Zeng
, Huaikou Miao
·
Studies in computational intelligence
·
2
Generating Test Case from Functional Requirement of Web Applications
2009
·
Bin Zhu
, Huaikou Miao
, et al.
·
International Symposium on Electronic Commerce and Security
·
2
Show more works
View as search
Works count:
38
Citation count:
251
H-index:
9
I10-index:
8
Year
Topic
Type
