Results 251 to 260 of about 13,970 (291)
Program slicing techniques for software testing
, 2016 Anupama Surendran +2 more
openalex +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Information and Software Technology, 1998
Abstract Slicing is a technique to decompose programs based on the analysis of the control and data flow. In the original Weiser's definition, a slice consists of any subset of program statements preserving the behaviour of the original program with respect to a program point and a subset of the program variables (slicing criterion), for any ...
CANFORA G. +2 more
openaire +2 more sources
Abstract Slicing is a technique to decompose programs based on the analysis of the control and data flow. In the original Weiser's definition, a slice consists of any subset of program statements preserving the behaviour of the original program with respect to a program point and a subset of the program variables (slicing criterion), for any ...
CANFORA G. +2 more
openaire +2 more sources
Applied Mechanics and Materials, 2012
With the complexity of language structure, the problem of slice’s executability has gradually become people’s focus of attention. The research combines program slicing and path coverage according to their features, makes an attempt to propose the model of executable program slicing, and presents the executable slicing algorithm, which plays an ...
Sheng Hui Shi +2 more
openaire +1 more source
With the complexity of language structure, the problem of slice’s executability has gradually become people’s focus of attention. The research combines program slicing and path coverage according to their features, makes an attempt to propose the model of executable program slicing, and presents the executable slicing algorithm, which plays an ...
Sheng Hui Shi +2 more
openaire +1 more source
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95, 1995
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing slices directly from semantic specifications. These algorithms are based on combining the notion of dynamic dependence tracking in term rewriting systems with a program ...
John Field, G. Ramalingam, Frank Tip
openaire +1 more source
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing slices directly from semantic specifications. These algorithms are based on combining the notion of dynamic dependence tracking in term rewriting systems with a program ...
John Field, G. Ramalingam, Frank Tip
openaire +1 more source