Searching for "Test Generation Based on Symbolic Specifications." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Test generation based on symbolic specifications
by Lars Frantzen, Jan Tretmans, Tim A. C. Willemse — 2005 — FATES 2004, number 3395 in LNCS
…Test Generation Based on Symbolic Specifications Lars Frantzen ⋆ , Jan Tretmans, and Tim A…
Cited by 12 (1 self) – Add To MetaCart

Showing 1 through 1.

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