Search Results
Showing 1 - 10 of 130 results
Search Results
Software system testing and quality assurance
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.6 .B4328 1984 | ✔ Available |
Validation, verification, and testing for the individual programmer
| Location | Call # | Status |
|---|---|---|
| Joyner - Fed Docs Stacks | C 13.10:500-56 | ✔ Available |
Path selection for symbolic execution systems
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.6 .W677 1982 | ✔ Available |
Guideline for lifecycle validation, verification, and testing of computer software
| Location | Call # | Status |
|---|---|---|
| Joyner - Fed Docs Stacks | C 13.52:101 | ✔ Available |
Software testing for network services
| Location | Call # | Status |
|---|---|---|
| Joyner - Fed Docs Stacks | C 13.46: 874 | ✔ Available |
A structured approach to systems testing
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.6 .P468 1988 | ✔ Available |
COMPF2, a program for calculating post-flashover fire temperatures
| Location | Call # | Status |
|---|---|---|
| Joyner - Fed Docs Stacks | C 13.46:991 | ✔ Available |
TT, a program that implements predictor sort design and analysis
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | A 13.88:FPL-GTR-101 | ✔ Available |
Power calculations in the predictor sort computer program
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | A 13.79:FPL-RN-277 | ✔ Available |