Article

Making slicing practical: the final mile

Author:

William G. GriswoldAuthors Info & Claims

PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Page 1

https://doi.org/10.1145/379605.379625

Published: 01 June 2001 Publication History

Get Access

Abstract

Much progress has been made in the precision and performance of program slicers, but many challenges remain, such as cost-effective implementation and finding a role for slicing in software development.

References

[1]

D. C. Atkinson. The design and implementation of practical and task-oriented whole-program analysis tools. Ph.D. Thesis, University of California, San Diego, Department of Computer Science and Engineering, April 1999. Technical Report CS99-618.

Digital Library

Google Scholar

[2]

D. C. Atkinson and W. G. Griswold. The design of whole-program analysis tools. In Proceedings of the 18th International Conference on Software Engineering, pages 16-27, March 1996.

Digital Library

Google Scholar

[3]

D. C. Atkinson and W. G. Griswold. Effective whole-program analysis in the presence of pointers. In ACM SIGSOFT '98 Symposium on the Foundations of Software Engineering, pages 46-55, November 1998.

Digital Library

Google Scholar

[4]

L. Bent, D. C. Atkinson, and W. G. Griswold. A comparative study of two whole program slicers for C. Technical Report CS2001-0668, University of California, San Diego, Department of Computer Science and Engineering, April 2001.

Digital Library

Google Scholar

[5]

M. Weiser. Program slicing. In Proceedings of the 5th International Conference on Software Engineering, pages 439-449, March 1981.

Digital Library

Google Scholar

[6]

M. Weiser. Program slicing. IEEE Transactions on Software Engineering, SE-10(4):352-357, July 1984.

Digital Library

Google Scholar

Cited By

View all

Hajnal ÁForgács I(2012)Understanding Program SlicesActa Cybernetica10.14232/actacyb.20.4.2012.220:4(483-497)Online publication date: 1-Dec-2012
https://dl.acm.org/doi/10.14232/actacyb.20.4.2012.2
Sterling COlsson R(2007)Automated bug isolation via program chippingSoftware—Practice & Experience10.5555/1284918.128492137:10(1061-1086)Online publication date: 1-Aug-2007
https://dl.acm.org/doi/10.5555/1284918.1284921
Sterling COlsson RJeffery CChoi JLencevicius R(2005)Automated bug isolation via program chippingProceedings of the sixth international symposium on Automated analysis-driven debugging10.1145/1085130.1085134(23-32)Online publication date: 19-Sep-2005
https://dl.acm.org/doi/10.1145/1085130.1085134
Show More Cited By

Index Terms

Making slicing practical: the final mile
1. Software and its engineering
  1. Software notations and tools
    1. Development frameworks and environments

Recommendations

A brief survey of program slicing

Program slicing is a technique to extract program parts with respect to some special computation. Since Weiser first proposed the notion of slicing in 1979, hundreds of papers have been presented in this area. Tens of variants of slicing have been ...
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing

In the present article, we formally define the notion of abstract program slicing, a general form of program slicing where properties of data are considered instead of their exact value. This approach is applied to a language with numeric and reference ...
Conditioned Slicing of Interprocedural Programs

Program slicing is a technique to decompose programs depending on control flow and data flow amongst several lines of code in a program. Conditioned slicing is a generalization of static slicing and dynamic slicing. A variable, the desired program point,...

Comments

Information & Contributors

Information

Published In

PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

June 2001

103 pages

ISBN:1581134134

DOI:10.1145/379605

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2001

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tag

program slicing

Qualifiers

Article

Conference

PASTE01

Sponsor:

PASTE01: SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering 2001

Utah, Snowbird, USA

Acceptance Rates

PASTE '01 Paper Acceptance Rate 13 of 24 submissions, 54%;

Overall Acceptance Rate 57 of 159 submissions, 36%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
346
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hajnal ÁForgács I(2012)Understanding Program SlicesActa Cybernetica10.14232/actacyb.20.4.2012.220:4(483-497)Online publication date: 1-Dec-2012
https://dl.acm.org/doi/10.14232/actacyb.20.4.2012.2
Sterling COlsson R(2007)Automated bug isolation via program chippingSoftware—Practice & Experience10.5555/1284918.128492137:10(1061-1086)Online publication date: 1-Aug-2007
https://dl.acm.org/doi/10.5555/1284918.1284921
Sterling COlsson RJeffery CChoi JLencevicius R(2005)Automated bug isolation via program chippingProceedings of the sixth international symposium on Automated analysis-driven debugging10.1145/1085130.1085134(23-32)Online publication date: 19-Sep-2005
https://dl.acm.org/doi/10.1145/1085130.1085134
Krinke J(2004)Advanced slicing of sequential and concurrent programs20th IEEE International Conference on Software Maintenance, 2004. Proceedings.10.1109/ICSM.2004.1357836(464-468)Online publication date: 2004
https://doi.org/10.1109/ICSM.2004.1357836
Krinke J(2004)Slicing, Chopping, and Path Conditions with BarriersSoftware Quality Journal10.1023/B:SQJO.0000039792.93414.a512:4(339-360)Online publication date: 1-Dec-2004
https://dl.acm.org/doi/10.1023/B%3ASQJO.0000039792.93414.a5
Krinke J(2003)Barrier slicing and choppingProceedings Third IEEE International Workshop on Source Code Analysis and Manipulation10.1109/SCAM.2003.1238034(81-87)Online publication date: 2003
https://doi.org/10.1109/SCAM.2003.1238034
Irwin WChurcher N(2001)XML in the visualisation pipelineProceedings of the Pan-Sydney area workshop on Visual information processing - Volume 1110.5555/858375.858387(59-67)Online publication date: 1-May-2001
https://dl.acm.org/doi/10.5555/858375.858387

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

A brief survey of program slicing

Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing

Conditioned Slicing of Interprocedural Programs