Experience with logical code analysis in software maintenance
- 1 November 1995
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 25 (11) , 1243-1262
- https://doi.org/10.1002/spe.4380251105
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Program SlicingIEEE Transactions on Software Engineering, 1984
- Protocol Verification via ProjectionsIEEE Transactions on Software Engineering, 1984
- Programmers use slices when debuggingCommunications of the ACM, 1982
- The Science of ProgrammingPublished by Springer Nature ,1981
- Proof of correctness of data representationsActa Informatica, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969