Optimizing the SPARK program slicer
Abstract
References
Index Terms
- Optimizing the SPARK program slicer
Recommendations
Optimizing the SPARK program slicer
SigAda '05: Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related TechnologiesRecent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program slices from SPARK procedures along with a proof that the functionality of ...
AdaSlicer: an Ada program slicer
Proceedings of the ACM SIGAda annual international conferenceThe ability to slice a program or parts of a program is useful in a variety of domains, including re-engineering, dependency analysis, test case generation, test coverage evaluation and debugging. Although a variety of static analysis tools are ...
AdaSlicer: an Ada program slicer
SigAda '03: Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologiesThe ability to slice a program or parts of a program is useful in a variety of domains, including re-engineering, dependency analysis, test case generation, test coverage evaluation and debugging. Although a variety of static analysis tools are available ...
Comments
Information & Contributors
Information
Published In
![cover image ACM SIGAda Ada Letters](/cms/asset/908a3b93-674b-4660-a78b-a62bd3ad0fb5/3706601.cover.jpg)
- November 2005124 pagesISBN:1595931856DOI:10.1145/1103846
- Conference Chair:
- John W. McCormick,
- Program Chair:
- Leemon C. Baird
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 216Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in