Using Program Slicing to Simplify Testing

@article{Harman1995UsingPS,
  title={Using Program Slicing to Simplify Testing},
  author={Mark Harman and Sebastian Danicic},
  journal={Softw. Test., Verif. Reliab.},
  year={1995},
  volume={5},
  pages={143-162}
}
Program slicing is a technique for automatically identifying the statements of a program which a ect a selected subset of its variables. A large program can be divided into a number of smaller programs (its slices), each constructed for di erent variable subsets. The slices are typically simpler than the original program, thereby simplifying the process of testing a property of the program which only concerns the corresponding subset of its variables. However, some aspects of a program's… CONTINUE READING
Highly Cited
This paper has 146 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 86 extracted citations

AntMiner: Mining More Bugs by Reducing Noise Interference

2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) • 2016

147 Citations

01020'95'00'06'12'18
Citations per Year
Semantic Scholar estimates that this publication has 147 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 39 references

The Program Dependence Graph in a Software Development Environment

Software Development Environments • 1984
View 5 Excerpts
Highly Influenced

Program Slicing

IEEE Transactions on Software Engineering • 1981
View 9 Excerpts
Highly Influenced

A survey of program slicing techniques

J. Prog. Lang. • 1995
View 9 Excerpts
Highly Influenced

Generation of Program Analysis Tools

F. Tip
PhD thesis, Centrum voor Wiskunde en • 1995
View 11 Excerpts
Highly Influenced

On Slicing Programs with Jump Statements

PLDI • 1994
View 4 Excerpts
Highly Influenced

Practical ne{grained static slicing of optimised code

M. D. Ernst
Technical Report MSR- • 1994
View 4 Excerpts
Highly Influenced

Compilers: Principles, Techniques, and Tools

Addison-Wesley series in computer science / World student series edition • 1986
View 4 Excerpts
Highly Influenced

Program slices: Formal, psychological, and practical investigations of an automatic

M. Weiser
1979
View 4 Excerpts
Highly Influenced

A Practical Approach to Programming With Assertions

IEEE Trans. Software Eng. • 1995
View 2 Excerpts

Similar Papers

Loading similar papers…