Hongwei Zeng

31 papers B 3C 7Misc 1Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
ASA: Training-Free Representation Engineering for Tool-Calling Agents.
CoRR
Youjin Wang, Run Zhou, Rong Fu, Shuaishuai Cao, Hongwei Zeng, Jiaxuan Lu, Sicheng Fan, Jiaqiao Zhao, Liangming Pan
2026 B conf
Characterizing Matrix Multiplication Units across General Parallel Patterns in Scientific Computing.
PPoPP
Yuechen Lu, Hongwei Zeng, Marc Casas, Weifeng Liu
2026 J jnl
FinToolBench: Evaluating LLM Agents for Real-World Financial Tool Use.
CoRR
Jiaxuan Lu, Kong Wang, Yemin Wang, Qingmei Tang, Hongwei Zeng, Xiang Chen, Jiahao Pi, Shujian Deng, Lingzhi Chen, Yi Fu, Kehua Yang, Xiao Sun
2023 J jnl
A Structure-Aware Convolutional Neural Network for Automatic Diagnosis of Fungal Keratitis with In Vivo Confocal Microscopy Images.
J. Digit. Imaging
Shanshan Liang, Jing Zhong, Hongwei Zeng, Peixun Zhong, Saiqun Li, Huijun Liu, Jin Yuan
2023 J jnl
RNNCon: Contribution Coverage Testing for Stacked Recurrent Neural Networks.
Entropy
Xiaoli Du, Hongwei Zeng, Shengbo Chen, Zhou Lei
2022 J jnl
Optimizing demand-driven null dereference verification via merging branches.
Expert Syst. J. Knowl. Eng.
Huihui Cheng, Hongwei Zeng
2020 J jnl
Assessing factors impacting the spatial discrepancy of remote sensing based cropland products: A case study in Africa.
Int. J. Appl. Earth Obs. Geoinformation
Mohsen Nabil, Miao Zhang, José Bofana, Bingfang Wu, Alfred Stein, Taifeng Dong, Hongwei Zeng, Jiali Shang
2019 J jnl
Determination of Appropriate Remote Sensing Indices for Spring Wheat Yield Estimation in Mongolia.
Remote. Sens.
Battsetseg Tuvdendorj, Bingfang Wu, Hongwei Zeng, Gantsetseg Batdelger, Lkhagvadorj Nanzad
2018 J jnl
Satellite-Based Water Consumption Dynamics Monitoring in an Extremely Arid Area.
Remote. Sens.
Shen Tan, Bingfang Wu, Nana Yan, Hongwei Zeng
2016 J jnl
Crop Phenology Detection Using High Spatio-Temporal Resolution Data Fused from SPOT5 and MODIS Products.
Sensors
Yang Zheng, Bingfang Wu, Miao Zhang, Hongwei Zeng
2016 — conf
History-based dynamic test case prioritization for requirement properties in regression testing.
CSED@ICSE
Xiaolin Wang, Hongwei Zeng
2016 C conf
Test case prioritization based on requirement correlations.
SNPD
Tingting Ma, Hongwei Zeng, Xiaolin Wang
2015 J jnl
Global Crop Monitoring: A Satellite-Based Hierarchical Approach.
Remote. Sens.
Bingfang Wu, René Gommes, Miao Zhang, Hongwei Zeng, Nana Yan, Wentao Zou, Yang Zheng, Ning Zhang, Sheng Chang, Qiang Xing, Anna van Heijden
2015 — conf
Static Analysis Technique of Cross-Browser Compatibility Detecting.
ACIT-CSI
Sujuan Xu, Hongwei Zeng
2014 C conf
Dynamic test case prioritization based on multi-objective.
SNPD
Xiaolin Wang, Hongwei Zeng
2014 — conf
Modeling and Testing of GUIs Using IOLTS.
APSEC (1)
Shengbo Chen, Dashen Sun, Huaikou Miao, Hongwei Zeng
2014 C conf
Modeling web application for cross-browser compatibility testing.
SNPD
Xinxin Li, Hongwei Zeng
2013 C conf
Model-based test generation for software product line.
ICIS
Xinying Cai, Hongwei Zeng
2013 J jnl
Nondeterministic Probabilistic Petri Net - A New Method to Study Qualitative and Quantitative Behaviors of System.
J. Comput. Sci. Technol.
Yang Liu, Huaikou Miao, Hongwei Zeng, Yan Ma, Pan Liu
2012 — ed.
2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30 - June 1, 2012
ICIS
Huaikou Miao, Roger Y. Lee, Hongwei Zeng, Jongmoon Baik
2011 C conf
Probabilistic Petri Net and its Logical Semantics.
SERA
Yang Liu, Huaikou Miao, Hongwei Zeng, Zhuang Li
2011 — conf
Test Generation by Using Component Composition Abstraction Refinement.
ACIS-ICIS
Ying Chen, Ye Tian, Hongwei Zeng
2010 — ch.
Deadlock Detection for Parallel Composition of Components.
Computer and Information Science
Hongwei Zeng, Huaikou Miao
2009 C conf
A New Approach to Automated Redundancy Reduction for Test Sequences.
PRDC
Huaikou Miao, Pan Liu, Jia Mei, Hongwei Zeng
2009 — conf
Modeling and Consistency Checking Based on Category for Web Navigation Behavior.
ICCMS
Xin-lin Zhang, Huai-kou Miao, Hongwei Zeng
2007 — conf
A Practical Web Testing Model for Web Application Testing.
SITIS
Zhong-sheng Qian, Huaikou Miao, Hongwei Zeng
2007 B conf
Auto-Generating Test Sequences for Web Applications.
ICWE
Hongwei Zeng, Huaikou Miao
2007 B conf
Model Checking-based Verification of Web Application.
ICECCS
Huaikou Miao, Hongwei Zeng
2007 Misc conf
Specification-based Test Generation and Optimization Using Model Checking.
TASE
Hongwei Zeng, Huaikou Miao, Jing Liu
2006 — conf
Data Communication Model of Grid Workflow.
ICEBE
Hongwei Zeng, Huaikou Miao
2006 C conf
Generating Proof Obligation to Verify Object-Z Specification.
ICSEA
Zhicheng Wen, Huaikou Miao, Hongwei Zeng