Get started
Author

Liwei Zheng

Modeling and Analyzing the Reliability and Cost of Service Composition in the IoT: A Probabilistic Approach
2012 · Lixing Li, Zhi Jin, et al. · IEEE International Conference on Web Services (ICWS) · 78
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection
2024 · Huiwen Yang, Xiguo Gu, et al. · Science of Computer Programming · 36
Improving Software Fault Localization by Combining Spectrum and Mutation
2020 · Zhanqi Cui, Minghua Jia, et al. · IEEE Access · 36
PDF
DeltaFuzz: Historical Version Information Guided Fuzz Testing
2022 · Jia-Ming Zhang, Zhan-Qi Cui, et al. · Journal of Computer Science and Technology · 15
物联网服务建模: 一种基于环境建模的方法
2013 · LiXing LI, Qiang WEI, et al. · Scientia Sinica Informationis · 15
PDF
CIDFuzz: Fuzz testing for continuous integration
2023 · Jiaming Zhang, Zhanqi Cui, et al. · IET Software · 13
A fuzzy multiple attribute decision making method based on possibility degree
2016 · Zhi-Ying Lv, Li-Wei Zheng, et al. · Journal of Intelligent & Fuzzy Systems · 10
Requirement Driven Aggregation of Active Internetware Entities
2008 · Li-Wei ZHENG · Journal of Software · 10
PDF
Approach for Autonomous Web Service Aggregation Driven by Requirement
2010 · Rong-Hua YE, Zhi JIN, et al. · Journal of Software · 9
Requirement Driven Agent Collaboration Based on Functional Ontology and AMD
2007 · Liwei Zheng, Zhi Jin · IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS) · 8
CSEFuzz: Fuzz Testing Based on Symbolic Execution
2020 · Zhangwei Xie, Zhanqi Cui, et al. · IEEE Access · 7
PDF
A fuzzy multiple attribute decision making method based on possibility degree
2015 · Zhi-Ying Lv, Xi-Nong Liang, et al. · International Conference on Fuzzy Systems and Knowledge Discovery (FSKD) · 7
Web Services Composing by Multiagent Negotiation
2008 · Jian TANG, Liwei ZHENG, et al. · Journal of Systems Science and Complexity · 6
Feature-Specific Named Entity Recognition in Software Development Social Content
2019 · Ning Li, Liwei Zheng, et al. · IEEE International Conference on Smart Internet of Things (SmartIoT) · 5
An Agent Based Framework for Internetware Computing.
2010 · Liwei Zheng, Jian Tang, et al. · International Journal of Software and Informatics · 5
A Fast Crash Reproduction Method for Android Applications Based on Widget Hierarchy Graphs
2024 · Zhanqi Cui, Gaoyi Lin, et al. · IEEE Internet of Things Journal · 4
PDF
OC-Detector: Detecting Smart Contract Vulnerabilities Based on Clustering Opcode Instructions
2023 · Xiguo Gu, Liwei Zheng, et al. · International Journal of Software Engineering and Knowledge Engineering · 4
TBCUP: A Transformer-based Code Comments Updating Approach
2023 · Shifan Liu, Zhanqi Cui, et al. · IEEE Annual International Computer Software and Applications Conference (COMPSAC) · 4
Testing Neural Network Classifiers Based on Metamorphic Relations
2020 · Zheng Li, Zhanqi Cui, et al. · International Conference on Dependable Systems and Their Applications (DSA) · 4
Modeling of Web Service Development Process Based on MDA and Procedure Blueprint
2012 · Hailang Zhang, Jianbin Liu, et al. · IEEE/ACIS International Conference on Computer and Information Science (ICIS) · 4
Requirements driven agent collaboration
2007 · Liwei Zheng, Zhi Jin · Adaptive Agents and Multi-Agents Systems · 4
Optimizing energy capacity, and vibration control performance of multi-layer smart silicon solar cells using mathematical simulation and deep neural networks
2025 · Mengxia Wang, Junda He, et al. · Aerospace Science and Technology · 3
Scenario-specific verification of system requirements consistency via time modeling
2023 · Jingkai Shi, Liwei Zheng · Advances in Complex Systems · 3
Adaptive IoT Decision Making in Uncertain Environments
2023 · Yan Wang, Liwei Zheng, et al. · IEEE International Conference on Smart Internet of Things (SmartIoT) · 3
Effective information elicit for software quality specification based on ontology
2015 · Liwei Zheng · IEEE International Conference on Software Engineering and Service Science (ICSESS) · 2
Works count: 63
Citation count: 310
H-index: 9
I10-index: 8
Year
Topic
Type