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

Search Results

Cover image for Using model checking to generate tests from specifications

Using model checking to generate tests from specifications

Joyner Library - Microforms B300
Call Number: C 13.58:6166
Cover image for Model checkers in software testing

Model checkers in software testing

Joyner Library - Microforms B300
Call Number: C 13.58:6777
Cover image for Proceedings of the Static Analysis Workshop

Proceedings of the Static Analysis Workshop

Location
Access Content Online
Cover image for A specification-based coverage metric to evaluate test sets

A specification-based coverage metric to evaluate test sets

Joyner Library - Microforms B300
Call Number: C 13.58:6403
Cover image for Abstracting formal specifications to generate software tests via model checking

Abstracting formal specifications to generate software tests via model checking

Joyner Library - Microforms B300
Call Number: C 13.58:6405