Bill Currier

Learn More
This paper describes techniques used by Test Specification and Determination Tool (TSDT), an experimental prototype for analysis and testing of critical applications written in Ada. Two problems dominate structural testing of programs: exponential explosion in the number of execution paths and feasible path determination, A path is feasible if there exists(More)
  • 1