MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Model-based testing for real." – 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

Model-based testing for real: The inhouse card case study
by A. Pretschner, O. Slotosch, E. Aiglstorfer, S. Kriebel — Int. J. Softw. Tools Technol. Transf
…-003-0128-3 Model-based testing for real The inhouse card case study A. Pretschner 1,∗ ,O.Slotosch 2 , E…
Cited by 1 (0 self) – Add To MetaCart

Model Based Testing for Real: The Inhouse Card Case Study
by A. Pretschner, O. Slotosch, H. Loetzbeyer, E. Aiglstorfer, S. Kriebel — 2001
… tool AutoFocus as well as our Constraint Logic Programming based approach to model-based test case…
Cited by 6 (3 self) – Add To MetaCart

CO�ER – A Test-Case Generation Tool for Timed Systems
by Anders Hessel, Paul Pettersson
… for model-based testing of real-time systems, developed at Uppsala University since 2005. It allows its…
Add To MetaCart

Abstractions for Model-Based Testing
by Mark Utting, Alexander Pretschner, C Mark Utting, Er Pretschner, Bruno Legeard, Bruno Legeard, Mark Utting A, Er Pretschner B, Bruno Legeard C — 2004 — Proc. Test and Analysis of Component-based Systems (TACoS’04
… the ideas of model-based testing to real-time systems currently is the subject of intense research…
Cited by 11 (0 self) – Add To MetaCart

A.: Graph Transformations for Model-based Testing
by Mirko Conrad, Heiko Dörr, Ingo Stürmer, Daimlerchrysler Ag, Andy Schürr — 2002 — GI-Lecture Notes in Informatics, P-12
…Graph Transformations for Model-based Testing Mirko Conrad, Heiko Dörr, Ingo Stürmer Daimler…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 5.

ATOM

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