Hongwei Zeng

According to our database1, Hongwei Zeng authored at least 30 papers between 2006 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Efficient Identification of Corn Cultivation Area with Multitemporal Synthetic Aperture Radar and Optical Images in the Google Earth Engine Cloud Platform.
Remote Sensing, 2019

Location-Based Test Case Prioritization for Software Embedded in Mobile Devices Using the Law of Gravitation.
Mobile Information Systems, 2019

Answering why-not questions on SPARQL queries.
Knowl. Inf. Syst., 2019

2018
Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things.
Security and Communication Networks, 2018

Satellite-Based Water Consumption Dynamics Monitoring in an Extremely Arid Area.
Remote Sensing, 2018

The Cuckoo Search and Integer Linear Programming Based Approach to Time-Aware Test Case Prioritization Considering Execution Environment.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2018

2017
DKG: An Expanded Knowledge Base for Online Course.
Proceedings of the Database Systems for Advanced Applications, 2017

2016
Crop Phenology Detection Using High Spatio-Temporal Resolution Data Fused from SPOT5 and MODIS Products.
Sensors, 2016

Mapping Winter Wheat Biomass and Yield Using Time Series Data Blended from PROBA-V 100- and 300-m S1 Products.
Remote Sensing, 2016

Test case prioritization based on requirement correlations.
Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

History-based dynamic test case prioritization for requirement properties in regression testing.
Proceedings of the International Workshop on Continuous Software Evolution and Delivery, 2016

2015
Global Crop Monitoring: A Satellite-Based Hierarchical Approach.
Remote Sensing, 2015

A chain algorithm for conformance testing based on UIO sequences.
Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, 2015

2014
Dynamic test case prioritization based on multi-objective.
Proceedings of the 15th IEEE/ACIS International Conference on Software Engineering, 2014

Modeling web application for cross-browser compatibility testing.
Proceedings of the 15th IEEE/ACIS International Conference on Software Engineering, 2014

Service Reconfiguration Architecture Based on Probabilistic Modeling Checking.
Proceedings of the 2014 IEEE International Conference on Web Services, 2014

Modeling and Testing of GUIs Using IOLTS.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
Nondeterministic Probabilistic Petri Net - A New Method to Study Qualitative and Quantitative Behaviors of System.
J. Comput. Sci. Technol., 2013

Model-based test generation for software product line.
Proceedings of the 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, 2013

2011
Research on Web Service Composition Using Probabilistic Abstraction Refinement.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Probabilistic Petri Net and its Logical Semantics.
Proceedings of the 9th International Conference on Software Engineering Research, 2011

Test Generation by Using Component Composition Abstraction Refinement.
Proceedings of the 10th IEEE/ACIS International Conference on Computer and Information Science, 2011

2010
Deadlock Detection for Parallel Composition of Components.
Proceedings of the Computer and Information Science 2010 [outstanding papers from the 9th ACIS/IEEE International Conference on Computer and Information Science, 2010

2009
A New Approach to Automated Redundancy Reduction for Test Sequences.
Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

2007
Specification-based Test Generation and Optimization Using Model Checking.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

A Practical Web Testing Model for Web Application Testing.
Proceedings of the Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, 2007

Auto-Generating Test Sequences for Web Applications.
Proceedings of the Web Engineering, 7th International Conference, 2007

Model Checking-based Verification of Web Application.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006
Generating Proof Obligation to Verify Object-Z Specification.
Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

Data Communication Model of Grid Workflow.
Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006


  Loading...