MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Specification Directed Module Testing." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

ATOM

Specification Directed Module Testing
by Ian J. Hayes — 1986 — IEEE Transactions on Software Engineering
…Specification Directed Module Testing Abstract— If a program is developed from a specification…
Cited by 25 (0 self) – Add To MetaCart

Annotated Z Bibliography
by Jonathan Bowen Oxford, Jonathan Bowen, Susan Stepney, Rosalind Barden — 1995 — In Bowen et al
… with respect to formal specification [133] Hayes. Specification directed module testing [281] Stocks. Applying…
Add To MetaCart

Annotated Z Bibliography Jonathan Bowen
by Oxford University Computing, Jonathan Bowen, Susan Stepney, Rosalind Barden — 1995 — In Bowen et al
… with respect to formal specification [133] Hayes. Specification directed module testing [281] Stocks. Applying…
Add To MetaCart

Model-Based Formal Specification Directed Testing of Abstract Data Types
by Xiaoping Jia — 1993 — Proc. of the 17th Annual IEEE International Computer Software and Application Conference
…Model-Based Formal Specification Directed Testing of Abstract Data Types Xiaoping Jia Institute…
Cited by 7 (2 self) – Add To MetaCart

Quality Measures and Assurance for AI Software
by John Rushby, Cognitive Systems Ai Magazine, Richard M. Tong, Neville D. Newman, Gary Berg-cross — 1988
…. Specification directed module testing. IEEE Transactions on Software Engineering, SE-12(1):124--133, January…
Cited by 4 (1 self) – Add To MetaCart

Measures and Techniques for Software Quality Assurance
by John Rushby — 1991
… Hempstead, UK, 1987. [57] Ian J. Hayes. Specification directed module testing. IEEE Transactions on Software…
Add To MetaCart

Showing 1 through 6.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB