In this paper, we introduce 13 program slicing metrics for C language programs. These metrics use program slice information to measure the size, complexity, coupling, and cohesion properties of programs. Compared with traditional code metrics based on code statements or code structure, program slicing metrics involve measures for program behaviors. To evaluate the program slicing metrics, we compare them with the Understand for C++ suite of metrics, a set of widely-used traditional code metrics, in a series of bug classification experiments. We used the program slicing and the Understand for C++ metrics computed for 887 revisions of the Apache HTTP project and 76 revisions of the Latex2rtf project to classify source code files or functions ...
International audienceRecent research proposed efficient methods for software verification combining...
In this century, computers have become an inseparable part of human life. Human beings entrust them ...
Abstract Even after thorough testing, a few bugs still remain in a program with moderate complexity....
This study explores the relationship between program slices and faults. The aim is to investigate wh...
Program slicing has been used to semi- or fully-automatically help developers find errors and vulner...
Performance bugs, i.e., program source code that is unnecessarily inefficient, have received signifi...
This study explores the relationship between program slices and faults. The aim is to investigate wh...
Program slicing is a commonly used approach for understanding and detecting the impact of changes to...
Program slicing metrics are an important addition to the range of static code measures available to ...
The aim of this paper is to integrate the strong points of statistical debugging and program slicing...
Benchmarks for bug detection tools are still in their infancy. Though in recent years various tools ...
Statistical fault localization is an easily deployed technique for quickly determining candidates fo...
Program slicing is useful for assisting with software-maintenance tasks, such as program understandi...
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized ...
In this paper, we investigate the Barcode OSS using two of Weiser’s original slice-based metrics (Ti...
International audienceRecent research proposed efficient methods for software verification combining...
In this century, computers have become an inseparable part of human life. Human beings entrust them ...
Abstract Even after thorough testing, a few bugs still remain in a program with moderate complexity....
This study explores the relationship between program slices and faults. The aim is to investigate wh...
Program slicing has been used to semi- or fully-automatically help developers find errors and vulner...
Performance bugs, i.e., program source code that is unnecessarily inefficient, have received signifi...
This study explores the relationship between program slices and faults. The aim is to investigate wh...
Program slicing is a commonly used approach for understanding and detecting the impact of changes to...
Program slicing metrics are an important addition to the range of static code measures available to ...
The aim of this paper is to integrate the strong points of statistical debugging and program slicing...
Benchmarks for bug detection tools are still in their infancy. Though in recent years various tools ...
Statistical fault localization is an easily deployed technique for quickly determining candidates fo...
Program slicing is useful for assisting with software-maintenance tasks, such as program understandi...
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized ...
In this paper, we investigate the Barcode OSS using two of Weiser’s original slice-based metrics (Ti...
International audienceRecent research proposed efficient methods for software verification combining...
In this century, computers have become an inseparable part of human life. Human beings entrust them ...
Abstract Even after thorough testing, a few bugs still remain in a program with moderate complexity....