MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Lex Heerink" – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

Formal methods in conformance testing: a probabilistic re
by Lex Heerink, Jan Tretmans — 1996 — Ninth International Workshop on Testing of Communicating Systems
…Formal methods in conformance testing : a probabilistic refinement Lex Heerink and Jan Tretmans…
Cited by 1 (0 self) – Add To MetaCart

Validation in Context
by Lex Heerink, Ed Brinksma — 1995 — Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification
…Validation in Context Lex Heerink and Ed Brinksma Tele-Informatics and Open Systems group…
Cited by 1 (0 self) – Add To MetaCart

Vries. Specification Based Formal Testing: The EasyLink Case Study
by Axel Belinfante, Lex Heerink, René G. De Vries — 2001 — In Progress 2001 -- 2 nd Workshop on Embedded Systems
… , Lex Heerink ¡ , René G. de Vries lex.heerink@(email omitted);, ¢ ¡ University of Twente, P.O. Box 217…
Cited by 4 (2 self) – Add To MetaCart

Testing Theory in Practice: A Simple Experiment
by Rinke Terpstra, Luís Ferreira Pires, Lex Heerink, Jan Tretmans — 1996 — University of Twente, The Netherlands
…Testing Theory in Practice : A Simple Experiment Rinke Terpstra, Lu s Ferreira Pires, Lex Heerink…
Cited by 2 (1 self) – Add To MetaCart

Formal Test Automation: A Simple Experiment
by Axel Belinfante, Jan Feenstra, Rene de Vries, Jan Tretmans, Nicolae Goga, Loe Feijs, Sjouke Mauw, Lex Heerink — 1999
… of Technology Lex Heerink Philips Research Laboratories Abstract In this paper 1 we study the automation…
Cited by 40 (15 self) – Add To MetaCart

Showing 1 through 5.

ATOM

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