Path Exploration Tool
- 12 March 1999
- book chapter
- Published by Springer Nature
- p. 405-419
- https://doi.org/10.1007/3-540-49059-0_28
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Defining conditional independence using collapsesTheoretical Computer Science, 1992
- Selecting Software Test Data Using Data Flow InformationIEEE Transactions on Software Engineering, 1985
- Program SlicingIEEE Transactions on Software Engineering, 1984
- A 222pn upper bound on the complexity of Presburger ArithmeticJournal of Computer and System Sciences, 1978