We stand with Ukraine

We stand with Ukraine

Hongwei Zeng

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2023

A Structure-Aware Convolutional Neural Network for Automatic Diagnosis of Fungal Keratitis with In Vivo Confocal Microscopy Images.

[BibT_eX]

[DOI]

,

,

,

,

,

,

J. Digit. Imaging, August, 2023

RNNCon: Contribution Coverage Testing for Stacked Recurrent Neural Networks.

[BibT_eX]

[DOI]

,

,

,

Entropy, March, 2023

2022

Optimizing demand-driven null dereference verification via merging branches.

[BibT_eX]

[DOI]

,

Expert Syst. J. Knowl. Eng., 2022

2020

Assessing factors impacting the spatial discrepancy of remote sensing based cropland products: A case study in Africa.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

Int. J. Appl. Earth Obs. Geoinformation, 2020

2019

Determination of Appropriate Remote Sensing Indices for Spring Wheat Yield Estimation in Mongolia.

[BibT_eX]

[DOI]

Battsetseg Tuvdendorj

,

,

,

Gantsetseg Batdelger

,

Lkhagvadorj Nanzad

Remote. Sens., 2019

2018

Satellite-Based Water Consumption Dynamics Monitoring in an Extremely Arid Area.

[BibT_eX]

[DOI]

,

,

,

Remote. Sens., 2018

2016

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

[BibT_eX]

[DOI]

,

,

,

Sensors, 2016

Test case prioritization based on requirement correlations.

[BibT_eX]

[DOI]

,

,

Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

History-based dynamic test case prioritization for requirement properties in regression testing.

[BibT_eX]

[DOI]

,

Proceedings of the International Workshop on Continuous Software Evolution and Delivery, 2016

2015

Global Crop Monitoring: A Satellite-Based Hierarchical Approach.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

,

,

,

Anna van Heijden

Remote. Sens., 2015

Static Analysis Technique of Cross-Browser Compatibility Detecting.

[BibT_eX]

[DOI]

,

Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015

2014

Dynamic test case prioritization based on multi-objective.

[BibT_eX]

[DOI]

,

Proceedings of the 15th IEEE/ACIS International Conference on Software Engineering, 2014

Modeling web application for cross-browser compatibility testing.

[BibT_eX]

[DOI]

,

Proceedings of the 15th IEEE/ACIS International Conference on Software Engineering, 2014

Modeling and Testing of GUIs Using IOLTS.

[BibT_eX]

[DOI]

,

,

,

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.

[BibT_eX]

[DOI]

,

,

,

,

J. Comput. Sci. Technol., 2013

Model-based test generation for software product line.

[BibT_eX]

[DOI]

,

Proceedings of the 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, 2013

2011

Probabilistic Petri Net and its Logical Semantics.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 9th International Conference on Software Engineering Research, 2011

Test Generation by Using Component Composition Abstraction Refinement.

[BibT_eX]

[DOI]

,

,

Proceedings of the 10th IEEE/ACIS International Conference on Computer and Information Science, 2011

2010

Deadlock Detection for Parallel Composition of Components.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

Modeling and Consistency Checking Based on Category for Web Navigation Behavior.

[BibT_eX]

[DOI]

,

,

Proceedings of the International Conference on Computer Modeling and Simulation, 2009

2007

Specification-based Test Generation and Optimization Using Model Checking.

[BibT_eX]

[DOI]

,

,

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

A Practical Web Testing Model for Web Application Testing.

[BibT_eX]

[DOI]

Zhong-sheng Qian

,

,

Proceedings of the Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, 2007

Auto-Generating Test Sequences for Web Applications.

[BibT_eX]

[DOI]

,

Proceedings of the Web Engineering, 7th International Conference, 2007

Model Checking-based Verification of Web Application.

[BibT_eX]

[DOI]

,

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006

Generating Proof Obligation to Verify Object-Z Specification.

[BibT_eX]

[DOI]

,

,

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

Data Communication Model of Grid Workflow.

[BibT_eX]

[DOI]

,

Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006

Loading...