Data Dependency Graphs for Ada Programs
IEEE Transactions on Software Engineering
Developing and integrating ProDAG in the Arcadia environment
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
RAPID: a free, portable GUI design tool
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Extracting objects from legacy imperative code
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
Optimizing the SPARK program slicer
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 Technologies
Proving functional equivalence for program slicing in SPARKTM
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
A new approach for concurrent program slicing
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Hi-index | 0.00 |
The 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 to support these activities for Ada programs, none of these tools provide a program slicing capability. Fortuitously, the Ada Semantic Interface Specification (ASIS) provides access to the Ada program information required to slice the program. This paper describes our use of ASIS to implement an Ada program slicer, called AdaSlicer.