TRICS: A testing tool for C
- 10 June 2005
- book chapter
- Published by Springer Nature
- p. 254-262
- https://doi.org/10.1007/bfb0022118
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Omega—A Data Flow Analysis Tool for the C Programming LanguageIEEE Transactions on Software Engineering, 1985
- Static Data Flow Analysis of PL/I Programs with the PROBE SystemIEEE Transactions on Software Engineering, 1984
- Validation, Verification, and Testing of Computer SoftwareACM Computing Surveys, 1982
- Validation of Scientific ProgramsACM Computing Surveys, 1982
- Automatic Software Test DriversComputer, 1978
- Tutorial: Static Analysis and Dynamic Testing of Computer SoftwareComputer, 1978
- Dave—a validation error detection and documentation system for fortran programsSoftware: Practice and Experience, 1976
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976