Zhenyu Zhang

ORCID: 0000-0002-8280-8462
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Software Testing and Debugging Techniques
  • Software Reliability and Analysis Research
  • Software Engineering Research
  • Software System Performance and Reliability
  • Parallel Computing and Optimization Techniques
  • Advanced Malware Detection Techniques
  • Cloud Computing and Resource Management
  • Advanced Software Engineering Methodologies
  • Software Engineering Techniques and Practices
  • VLSI and Analog Circuit Testing
  • Real-Time Systems Scheduling
  • Topic Modeling
  • Distributed and Parallel Computing Systems
  • Formal Methods in Verification
  • Embedded Systems Design Techniques
  • Natural Language Processing Techniques
  • Teaching and Learning Programming
  • Open Source Software Innovations
  • Green IT and Sustainability
  • Smart Grid Energy Management
  • Advanced Bandit Algorithms Research
  • Rough Sets and Fuzzy Logic
  • Adversarial Robustness in Machine Learning
  • Radiation Effects in Electronics
  • Cloud Data Security Solutions

China University of Petroleum, East China
2024

Institute of Software
2012-2023

Chinese Academy of Sciences
2013-2023

Fujian Electric Power Survey & Design Institute
2023

Institute of Information Engineering
2022

State Key Laboratory of Computer Science
2011-2020

University of California, Irvine
2017-2020

San Diego State University
2020

Beihang University
2018-2019

Beijing University of Posts and Telecommunications
2018

Recent techniques for fault localization leverage code coverage to address the high cost problem of debugging. These exploit correlations between program failures and entities as clue in locating faults. Experimental evidence shows that effectiveness these can be affected adversely by coincidental correctness, which occurs when a is executed but no failure detected. In this paper, we propose an approach problem. We refine test runs using control- data-flow patterns prescribed different...

10.1109/icse.2009.5070507 article EN 2009-01-01

Coverage-based fault-localization techniques find the fault-related positions in programs by comparing execution statistics of passed executions and failed executions. They assess fault suspiciousness individual program entities rank statements descending order their scores to help identify faults programs. However, many such focus on assessing but ignore propagation infected states among them. In this paper, we use edge profiles represent executions, contrast them model how each basic block...

10.1145/1595696.1595705 article EN 2009-08-24

Regression testing assures the quality of modified service-oriented business applications against unintended changes. However, a typical regression test suite is large in size. Earlier execution those cases that may detect failures attractive. Many existing prioritization techniques order according to their respective coverage program statements previous version application. On other hand, industrial are typically written orchestration languages such as WS-BPEL and integrated with workflow...

10.1145/1526709.1526830 article EN 2009-04-20

Background. Slice-based cohesion metrics leverage program slices with respect to the output variables of a module quantify strength functional relatedness elements within module. Although slice-based have been proposed for many years, few empirical studies conducted examine their actual usefulness in predicting fault-proneness. Objective. We aim provide an in-depth understanding ability effort-aware post-release fault-proneness prediction, i.e. effectiveness helping practitioners find faults...

10.1109/tse.2014.2370048 article EN IEEE Transactions on Software Engineering 2014-11-12

What is a cloud application precisely? In this paper, we formulate computing as kind of graph, resource such services or intellectual property access rights an attribute graph node, and the use predicate on edge graph. We also propose to model computation semantically set paths in subgraph that every contains evaluated be true. Finally, present algorithms compose computations family model-based testing criteria support applications.

10.1109/apscc.2009.5394131 article EN 2009-12-01

In continuous integration, a tight integration of test case prioritization techniques and fault-localization may both expose failures faster locate faults more effectively. Statistical use the execution information collected during testing to faults. Executing small fraction prioritized suite reduces cost testing, yet subsequent fault localization suffer. This paper presents first empirical study examine impact on effectiveness localization. Among many interesting results, we find that...

10.1109/compsac.2009.23 article EN 2009-01-01

10.1016/j.jss.2009.09.041 article EN Journal of Systems and Software 2009-10-14

10.1016/j.jss.2010.12.048 article EN Journal of Systems and Software 2011-01-19

Fault localization commonly relies on both passed and failed runs, but runs are generally susceptible to coincidental correctness modern software automatically produces a huge number of bug reports runs. FOnly is an effective new technique that only locate faults statistically.

10.1109/mc.2012.185 article EN Computer 2012-06-01

SQL injection (SQLi) is one of the chief threats to security database-driven Web applications. It can cause serious issues such as authentication bypassing, privacy leakage, and arbitrary code execution. Dynamic testing techniques are used in SQLi vulnerability discovery, which de-facto approach maintain a collection elaborately designed user inputs (aka. attack payloads) based on it compose malicious queries Such effective reveal before an application released, thus reducing cost manual...

10.1109/tr.2019.2910285 article EN IEEE Transactions on Reliability 2019-05-16

Many composite workflow services utilize non-imperative XML technologies such as WSDL, XPath, schema, and messages. Regression testing should assure the against regression faults that appear in both workflows these artifacts. In this paper, we propose a refinement-oriented level-exploration strategy multilevel coverage model captures progressively of different types artifacts by test cases. We show using them, case prioritization techniques initialized on top existing greedy-based form...

10.1109/tsc.2014.2331683 article EN IEEE Transactions on Services Computing 2014-06-19

An oracle on software testing is a mechanism for checking whether the system under test has behaved correctly any executions. In some situations, oracles are unavailable or too expensive to apply. This known as problem. It crucial develop techniques address it, and metamorphic (MT) was one of such proposals. paper conducts controlled experiment investigate cost effectiveness using MT by 38 testers three open-source programs. The fault detection capability time compared with popular assertion...

10.1145/1188895.1188901 article EN 2006-11-06

In a long running system, software tends to encounter performance degradation and increasing failure rate during execution, which is called aging. The bugs contributing the phenomenon of aging are defined as Aging Related Bugs (ARBs). Lots manpower economic costs will be saved if ARBs can found in testing phase. However, due low presence probability reproducing difficulty ARBs, it usually hard predict within project. this paper, we study whether how located through cross-project prediction....

10.1109/qrs.2015.17 article EN 2015-08-01

PDF HTML阅读 XML下载 导出引用 引用提醒 蜕变测试和断言检查的比较与实验研究 DOI: 作者: 作者单位: 作者简介: 通讯作者: 中图分类号: 基金项目: Supported by the grants of Research Grants Council Hong Kong under Grant Nos.111107, 717308 (香港研究资助局); Australian No.DP0984760 (澳大利亚研究理事会) Experimental Study to Compare Use Metamorphic Testing and Assertion Checking Author: Affiliation: Fund Project: 摘要 | 图/表 访问统计 参考文献 相似文献 引证文献 资源附件 文章评论...

10.3724/sp.j.1001.2009.00578 article EN Journal of Software 2009-11-06

Statistical fault localization techniques analyze the dynamic program information provided by executing a large number of test cases to predict positions in faulty programs. Related studies show that extent imbalance between passed and failed may reduce effectiveness such techniques, while can frequently be less than practice. In this study, we propose strategy generate balanced suite cloning for suitable times catch up with cases. We further give an analysis carrying out two representative...

10.1109/qsic.2013.23 article EN 2013-07-01

Existing fault localization techniques combine various program features and similarity coefficients with the aim of precisely assessing similarities among dynamic spectra these to predict locations faults. Many such estimate probability a particular feature causing observed failures. They ignore noise introduced by other on same set executions that may lead In this paper, we propose both use chains key basic blocks as an innovative coefficient has reduction effect. We have implemented our...

10.1109/qsic.2011.32 article EN 2011-07-01
Coming Soon ...