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

Search Results

Cover image for Proceedings of the Static Analysis Workshop

Proceedings of the Static Analysis Workshop

Location
Access Content Online
Cover image for Model checkers in software testing

Model checkers in software testing

Location Call # Status
Joyner - Microforms B300 C 13.58:6777 ✔ 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
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