Refining data flow information using infeasible paths
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 361-377
- https://doi.org/10.1007/3-540-63531-9_25
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- An approach to regression testing using slicingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Correlation analysis techniques for refining execution time estimates of real-time applicationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Interprocedural conditional branch eliminationPublished by Association for Computing Machinery (ACM) ,1997
- Demand interprocedural dataflow analysisPublished by Association for Computing Machinery (ACM) ,1995
- Hybrid slicingPublished by Association for Computing Machinery (ACM) ,1995
- Employing static information in the generation of test casesSoftware Testing, Verification and Reliability, 1993
- A generalized optimal path-selection model for structural program testingJournal of Systems and Software, 1989
- An applicable family of data flow testing criteriaIEEE Transactions on Software Engineering, 1988
- Qualified Data Flow ProblemsIEEE Transactions on Software Engineering, 1981
- On Two Problems in the Generation of Program Test PathsIEEE Transactions on Software Engineering, 1976