Start Over
You searched for: subject "Computer programming+Testing."

Search Results

Cover image for Path selection for symbolic execution systems

Path selection for symbolic execution systems

Location Call # Status
Joyner - General Stacks QA76.6 .W677 1982 ✔ Available
Cover image for Modeling and testing of aspect-oriented systems

Modeling and testing of aspect-oriented systems

Location
Access Content Online
Cover image for S-Check, by example

S-Check, by example

Location Call # Status
Joyner - Microforms B300 C 13.58:6022 ✔ Available
Cover image for Information model for machine-tool-performance tests

Information model for machine-tool-performance tests

Location Call # Status
Joyner - Microforms B300 C 13.58:6580 ✔ Available
Cover image for An introduction to TTCN-3

An introduction to TTCN-3

  • 2011
  • 2nd ed.
  • Format: Electronic
Location
Access Content Online
Cover image for Two-stage Gauss-Seidel preconditioners and smoothers for Krylov solvers on a GPU cluster: preprint

Two-stage Gauss-Seidel preconditioners and smoothers for Krylov solvers on a GPU cluster: preprint

Location
Access Content Online
Cover image for Google hacking for penetration testers

Google hacking for penetration testers

Location
Access Content Online
Cover image for Google hacking for penetration testers

Google hacking for penetration testers

Location
Access Content Online
Cover image for Introduction to combinatorial testing

Introduction to combinatorial testing

Location Call # Status
Joyner - General Stacks QA76.76 .T48 K84 2013 ✔ Available
Cover image for Runtime verification

Runtime verification

  • by RV 2009
  • 2009
  • Format: Electronic
Location
Access Content Online