Executable Program Slicing

Sheng Hui Shi; Qun Xiong Zhu; Zhi Qiang Geng

doi:10.4028/www.scientific.net/AMM.182-183.1746

Paper Titles

The Research and Implementation for Vertical Search Engine of Automobile Information
p.1728

The Realization of Fuzzy Adaptive Filtering Algorithm
p.1733

Research on Image Mosaics Algorithm on the Basis of Feature Points Matching
p.1738

A Class of New Interval-Valued Intuitionistic Fuzzy Distance Measures and their Applications in Discriminant Analysis
p.1743

Executable Program Slicing
p.1746

LED Display Image Correction Based on Computer Simulation
p.1751

The Characteristic Radial Basis Meshless Method for Convection-Dominated Diffusion Equations
p.1756

The Research on Bispectrum Detection of Underwater Target in Frequency Domain
p.1761

Generating Document Tree of Workflow with Synchronization Process
p.1766

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 182-183Executable Program Slicing

Executable Program Slicing

Abstract:

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 important role in the automation of software analysis.

You might also be interested in these eBooks

Applied Mechanics and Mechatronics Automation

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 182-183)

Pages:

1746-1750

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.182-183.1746

Citation:

Cite this paper

Online since:

June 2012

Authors:

Sheng Hui Shi, Qun Xiong Zhu, Zhi Qiang Geng

Keywords:

Executable Program Slicing, Path Coverage, Program Slicing

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Weiser, M. (1979), Program slices: formal, psychological, and practical investigations of an automatic program abstraction method, PhD thesis, University of Michigan, Ann Arbor, (1979).

Google Scholar

[2] Zhao, J., Cheng, J., Ushijima, K., Computing executable slices for concurrent logic programs", Second Asia-Pacific Conference on Quality Software Proceedings (APAQS , 01), 2001 p.13–22, DOI: 10. 1109/APAQS. 2001. 989997.

DOI: 10.1109/apaqs.2001.989997

Google Scholar

[3] Kiss, A.; Jasz, J.; Lehotai, G.; Gyimothy, T., Interprocedural static slicing of binary executables". Proceedings. Third IEEE International Workshop on Source Code Analysis and Manipulation(SCAM , 03), 2003, pp: 118 - 127 10. 1109/SCAM. 2003. 1238038.

DOI: 10.1109/scam.2003.1238038

Google Scholar

[4] Binkley, D.; Danicic, S.; Gyimothy, T.; Harman, M.; Kiss, A.; Ouarbya, L., Formalizing executable dynamic and forward slicing", Fourth IEEE International Workshop on Source Code Analysis and Manipulation(SCAM , 04), 2004, pp.43-52.

DOI: 10.1109/scam.2004.13

Google Scholar

[5] Danicic, S.; De Lucia, A.; Harman, M., Building executable union slices using conditioned slicing", Proceedings. 12th IEEE International Workshop on Program Comprehension(WPC , 04). 2004 , pp.89-97 , DOI: 10. 1109/WPC. 2004. 1311051.

DOI: 10.1109/wpc.2004.1311051

Google Scholar

[6] David Binkley; Nicolas Gold; Mark Harman; Zheng Li; Kiarash Mahdavi. An Empirical Study of Executable Concept Slice Size", 13th Working Conference on Reverse Engineering(WCRE , 06), 2006, pp.103-114, DOI: 10. 1109/WCRE. 2006. 11.

DOI: 10.1109/wcre.2006.11

Google Scholar

[7] Zheng Li. Identifying High-Level Dependence Structures Using Slice-Based Dependence Analysis. PhD thesis, University of Michigan, London, (2008).

Google Scholar

[8] Dave Binkley, Mark Harman, Youssef Hassoun, Syed Islam, Zheng Li and Kiarash Mahdavi. Assessing the Impact of Global Variables on Program Dependence and Dependence Clusters. Journal of Systems and Software (JSS). Volume 83, Issue 1, Pages 96-107, January (2010).

DOI: 10.1016/j.jss.2009.03.038

Google Scholar