A5005604635- Software Testing and Debugging Techniques
- Numerical Methods and Algorithms
- Parallel Computing and Optimization Techniques
- Teaching and Learning Programming
- Software Engineering Research
- Software System Performance and Reliability
- Advanced Data Storage Technologies
- Underwater Vehicles and Communication Systems
- Evolutionary Algorithms and Applications
- Underwater Acoustics Research
- Low-power high-performance VLSI design
- Water Quality Monitoring Technologies
- VLSI and Analog Circuit Testing
Huazhong University of Science and Technology
2023
ETH Zurich
2022
Peking University
2015-2019
Institute of Software
2019
The performance of fault localization techniques is critical to their adoption in practice. This paper reports on an empirical study a wide range real-world faults. Different from previous studies, this (1) considers different families, (2) combines techniques, and (3) the execution time techniques. Our results reveal that combined technique significantly outperforms any individual (200 percent increase faults localized Top 1), suggesting combination may be desirable way apply future should...
It is well-known that using floating-point numbers may inevitably result in inaccurate results and sometimes even cause serious software failures. Safety-critical often has strict requirements on the upper bound of inaccuracy, a crucial task testing to check whether significant inaccuracies be produced. The main existing approach inaccuracy problem error analysis, which produces an occur. However, high does not guarantee existence defects, nor it give developers any concrete test inputs for...
This paper tackles the important, difficult problem of detecting program inputs that trigger large floating-point errors in numerical code. It introduces a novel, principled dynamic analysis leverages mathematically rigorously analyzed condition numbers for atomic operations, which we call conditions , to effectively guide search errors. Compared with existing approaches, our work based on has several distinctive benefits: (1) it does not rely high-precision implementations act as...
It is well-known that using floating-point numbers may inevitably result in inaccurate results and sometimes even cause serious software failures. Safety-critical often has strict requirements on the upper bound of inaccuracy, a crucial task testing to check whether significant inaccuracies be produced. The main existing approach inaccuracy problem error analysis, which produces an occur. However, high does not guarantee existence defects, nor it give developers any concrete test inputs for...
The accuracy of the floating-point calculation is critical to many applications and different methods have been proposed around accuracies, such as detecting errors in program, verifying optimizing program produce more accurate results. These approaches need a specification understand ideal performed by which usually approached interpreting precision-unspecific way.
The floating-point representation provides widely-used data types (such as “float” and “double”) for modern numerical software. Numerical errors are inherent due to floating-point’s approximate nature, pose an important, well-known challenge. It is nontrivial fix/repair code reduce — it requires either expertise (for manual fixing) or high-precision oracles automatic repair); both difficult requirements. To tackle this challenge, paper introduces a principled dynamic approach that fully...
Underwater gliders are a class of ocean observation equipment driven by buoyancy, and their energy consumption source is mainly generated the active regulation buoyancy. The periodic elastic deformation pressure hull during upward downward movement underwater glider can have large impact on its driving This paper relates optimization problem with glider, improvement factor taken as objective. Based mechanical theory, theoretical model constraint derived. A hybrid genetic simulated annealing...
The performance of fault localization techniques is critical to their adoption in practice. This paper reports on an empirical study a wide range real-world faults. Different from previous studies, this (1) considers different families, (2) combines techniques, and (3) the execution time techniques. Our results reveal that combined technique significantly outperforms any individual (200% increase faults localized Top 1), suggesting combination may be desirable way apply future should also...