Start Over
You searched for: author_facet Ammann, Paul E.

Search Results

Cover image for Using model checking to generate tests from specifications

Using model checking to generate tests from specifications

Location Call # Status
Joyner - Microforms B300 C 13.58:6166 ✔ Available
Cover image for A specification-based coverage metric to evaluate test sets

A specification-based coverage metric to evaluate test sets

Location Call # Status
Joyner - Microforms B300 C 13.58:6403 ✔ Available
Cover image for Abstracting formal specifications to generate software tests via model checking

Abstracting formal specifications to generate software tests via model checking

Location Call # Status
Joyner - Microforms B300 C 13.58:6405 ✔ Available