Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

A Symbolic Framework for Model-Based Testing

Frantzen, L.
Tretmans, J.
Willemse, T.A.C.

Publication date

January 2006

DOI

10.1007/11940197_3

Publisher

Springer Science and Business Media LLC

ISSN

0302-9743

Citation count (estimate)

82

Abstract

Contains fulltext : 36155.pdf (publisher's version ) (Closed access

Extracted data

Related items

Grössler, A.

January 2008

Contains fulltext : 68815.pdf (publisher's version ) (Closed access

Testing with Functions as Specifications

Koopman, P.W.M.

January 2004

Contains fulltext : 60212.pdf (publisher's version ) (Open Access)[S.l. : s.n.

The Model-Model of the Theory-Theory

Slors, M.V.P.

January 2012

Contains fulltext : 101366_aut.pdf (author's version ) (Open Access)21 p

Test Generation Based on Symbolic Specifications

Frantzen, L.
Tretmans, G.J.
Willemse, T.A.C.

January 2005

Contains fulltext : 32302.pdf (publisher's version ) (Closed access

Model Based Testing with Logical Properties versus State Machines

Koopman, P.
Achten, P.
Plasmeijer, R.

January 2012

Contains fulltext : 103534.pdf (publisher's version ) (Closed access

Validating Specifications for Model-Based Testing

Koopman, P.W.M.
Achten, P.M.
Plasmeijer, M.J.

January 2008

Contains fulltext : 66905.pdf (preprint version ) (Open Access)14 juli 200

On the Validation of Specifications used in Model-Based Testing

Koopman, Pieter
Achten, Peter
Plasmeijer, Rinus

January 2007

Contains fulltext : 35294.pdf (publisher's version ) (Open Access

Cote de Resyste -- Automated Model Based Testing

Tretmans, G.J.
Brinksma, E.

January 2002

Contains fulltext : 176037.pdf (publisher's version ) (Open Access

Towards Model-Based Testing of Web Services

Frantzen, L.
Tretmans, J.
Vries, R. de

January 2006

Contains fulltext : 34489.pdf (preprint version ) (Open Access

Model-Based Testing of Thin-Client Web Applications and Navigation Input

Koopman, Pieter
Achten, Peter
Plasmeijer, Rinus

January 2007

Contains fulltext : 34447.pdf (publisher's version ) (Open Access

Model-Based Testing of Thin-Client Web Applications

Koopman, P.W.M.
Plasmeijer, Rinus
Achten, Peter

January 2006

Contains fulltext : 35655.pdf (author's version ) (Open Access

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33161.pdf (publisher's version ) (Closed access

Conceptual model: causal model

Doorewaard, J.A.C.M.

January 2010

Contains fulltext : 87077.pdf (publisher's version ) (Closed access

Testing with Functional Reference Implementations

Koopman, P.
Plasmeijer, R.

January 2011

Contains fulltext : 92414.pdf (publisher's version ) (Closed access

Simulating the environment of embedded software

Hooman, J.J.M.

January 2006

Contains fulltext : 35397.pdf (publisher's version ) (Closed access

Grössler, A.

January 2008

Contains fulltext : 68815.pdf (publisher's version ) (Closed access

Testing with Functions as Specifications

Koopman, P.W.M.

January 2004

Contains fulltext : 60212.pdf (publisher's version ) (Open Access)[S.l. : s.n.

The Model-Model of the Theory-Theory

Slors, M.V.P.

January 2012

Contains fulltext : 101366_aut.pdf (author's version ) (Open Access)21 p

Test Generation Based on Symbolic Specifications

Frantzen, L.
Tretmans, G.J.
Willemse, T.A.C.

January 2005

Contains fulltext : 32302.pdf (publisher's version ) (Closed access

Model Based Testing with Logical Properties versus State Machines

Koopman, P.
Achten, P.
Plasmeijer, R.

January 2012

Contains fulltext : 103534.pdf (publisher's version ) (Closed access

Validating Specifications for Model-Based Testing

Koopman, P.W.M.
Achten, P.M.
Plasmeijer, M.J.

January 2008

Contains fulltext : 66905.pdf (preprint version ) (Open Access)14 juli 200

On the Validation of Specifications used in Model-Based Testing

Koopman, Pieter
Achten, Peter
Plasmeijer, Rinus

January 2007

Contains fulltext : 35294.pdf (publisher's version ) (Open Access

Cote de Resyste -- Automated Model Based Testing

Tretmans, G.J.
Brinksma, E.

January 2002

Contains fulltext : 176037.pdf (publisher's version ) (Open Access

Towards Model-Based Testing of Web Services

Frantzen, L.
Tretmans, J.
Vries, R. de

January 2006

Contains fulltext : 34489.pdf (preprint version ) (Open Access

Model-Based Testing of Thin-Client Web Applications and Navigation Input

Koopman, Pieter
Achten, Peter
Plasmeijer, Rinus

January 2007

Contains fulltext : 34447.pdf (publisher's version ) (Open Access

Model-Based Testing of Thin-Client Web Applications

Koopman, P.W.M.
Plasmeijer, Rinus
Achten, Peter

January 2006

Contains fulltext : 35655.pdf (author's version ) (Open Access

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33161.pdf (publisher's version ) (Closed access

Conceptual model: causal model

Doorewaard, J.A.C.M.

January 2010

Contains fulltext : 87077.pdf (publisher's version ) (Closed access

Testing with Functional Reference Implementations

Koopman, P.
Plasmeijer, R.

January 2011

Contains fulltext : 92414.pdf (publisher's version ) (Closed access

Simulating the environment of embedded software

Hooman, J.J.M.

January 2006

Contains fulltext : 35397.pdf (publisher's version ) (Closed access

Grössler, A.

January 2008

Contains fulltext : 68815.pdf (publisher's version ) (Closed access

Testing with Functions as Specifications

Koopman, P.W.M.

January 2004

Contains fulltext : 60212.pdf (publisher's version ) (Open Access)[S.l. : s.n.

The Model-Model of the Theory-Theory

Slors, M.V.P.

January 2012

Contains fulltext : 101366_aut.pdf (author's version ) (Open Access)21 p