MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Abstractions for Model-Based Testing." – sorted by Relevance.

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

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

7 documents found, showing 1 through 7.

ATOM

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
… define model-based testing as the automatable derivation of concrete test cases from abstract formal…
Cited by 11 (0 self) – Add To MetaCart

Testing and Validating the Quality of Specifications
by Pieter Koopman, Peter Achten, Rinus Plasmeijer
… {pieter,p.achten,rinus}@(email omitted); Abstract—Model-based testing of state based systems is known to be able…
Add To MetaCart

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
… Published online: 2 March 2004 – © Springer-Verlag 2004 Abstract. Model-based testing relies on abstract…
Cited by 1 (0 self) – Add To MetaCart

Prototype-Based Tests for Hybrid Reactive Systems
by G. Hahn, J. Philipps, A. Pretschner, T. Stauner — 2003 — In Proc. 14th IEEE Intl. workshop on Rapid System Prototyping
… AG gate Lichtenbergstr. 8, 85748 Garching Germany Abstract Model-based testing relies on the use…
Cited by 2 (1 self) – Add To MetaCart

Using Markov chain usage models to test complex systems
by S. J. Prowell — 2005 — Proc. 38th Annual Hawaii International DATA MUTATION TESTING: ACASE STUDY Page 17 of 18 THE COMPUTER JOURNAL, 2007 Conf. System Sciences (HICSS’05), Big Island, HI, January 3–6
…Using Markov Chain Usage Models to Test Complex Systems Abstract Model-based testing using Markov…
Cited by 1 (0 self) – Add To MetaCart

Model-Based Testing in Practice
by S. R. Dalal, A. Jain, N. Karunanithi, J.M. Leaton, C. M. Lott, G.C. Patton, B.M. Horowitz — 1999 — Proc. Intl. Conf. on Software Engineering (ICSE ’99
…, karun, jleaton, lott, gcpg@(email omitted); bruceh@(email omitted); ABSTRACT Model-based testing is a new…
Cited by 36 (1 self) – Add To MetaCart

Model-Based Testing in Practice
by Dalal Jain Karunanithi, S. R. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott, Bellcore Bellcore — 1999 — Proc. Intl. Conf. on Software Engineering (ICSE ’99
…, jleaton, lott, gcpg@(email omitted); bruceh@(email omitted); ABSTRACT Model-based testing is a new and evolving…
Add To MetaCart

Showing 1 through 7.

ATOM

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