Searching for "Test Case Design Based on Z and the Classification-Tree Method." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

Test Case Design Based on Z and the Classification-Tree Method
by H. Singh, M. Conrad, S. Sadeghipour, Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour — 1997 — First IEEE International Conference on Formal Engineering Methods
…Test Case Design Based on Z and the Classification-Tree Method Harbhajan Singh, Mirko Conrad…
Cited by 16 (2 self) – Add To MetaCart

Tool-Supported Test Case Design Based on Z and the Classification-Tree Method (Extended Abstract)
by H. Singh, Harbhajan Singh, Mirko Conrad, Gottfried Egger, Sadegh Sadeghipour — 1996 — Proc. of 2nd Workshop on Systems for Computer-Aided Specification, Development and Verification, Bremen
…Tool-Supported Test Case Design Based on Z and the Classification-Tree Method --Extended Abstract…
Cited by 4 (2 self) – Add To MetaCart

An Adaptive Cruise Control System - A Case Study for the Industrial Use of Formal Methods
by Mirko Conrad, Dirk Wetter — 1997
…. Conrad, G. Egger, S. Sadeghipour: Tool-Supported Test Case Design Based on Z and the Classification-Tree…
Cited by 5 (0 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB