On data flow guided program testing
- 1 September 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 17 (9) , 62-71
- https://doi.org/10.1145/947955.947963
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- A Data Flow Oriented Program Testing StrategyIEEE Transactions on Software Engineering, 1983
- Theories of Program Testing and the Application of Revealing SubdomainsIEEE Transactions on Software Engineering, 1980
- A hierarchical approach to program testingACM SIGPLAN Notices, 1980
- High-level data flow analysisCommunications of the ACM, 1977
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976
- A Comparison of Two Algorithms for Global Data Flow AnalysisSIAM Journal on Computing, 1976
- A program data flow analysis procedureCommunications of the ACM, 1976
- Toward a theory of test data selectionIEEE Transactions on Software Engineering, 1975
- Methodology for the Generation of Program Test DataIEEE Transactions on Computers, 1975
- Characterizations of Reducible Flow GraphsJournal of the ACM, 1974