Model-Based Testing for Embedded Systems - Computational Analysis, Synthesis, & Design Dynamic Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By CRC Press

9781439818459, 9781439818473

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Applying Model-Based Testing in the Telecommunication Domain

Model-Based Testing for Embedded Systems - Computational Analysis, Synthesis, & Design Dynamic Systems ◽

10.1201/b11321-18 ◽

2011 ◽

Author(s):

Fredrik Abbors ◽

Veli-Matti Aho ◽

Jani Koivulainen ◽

Risto Teittinen ◽

Dragos Truscan

Keyword(s):

Model Based ◽

Model Based Testing

Download Full-text

Multilevel Testing for Embedded Systems

Model-Based Testing for Embedded Systems - Computational Analysis, Synthesis, & Design Dynamic Systems ◽

10.1201/b11321-12 ◽

2011 ◽

Cited By ~ 1

Author(s):

Abel Perez ◽

Stefan Kaiser

Keyword(s):

Embedded Systems

Download Full-text

Automated Statistical Testing for Embedded Systems

Model-Based Testing for Embedded Systems - Computational Analysis, Synthesis, & Design Dynamic Systems ◽

10.1201/b11321-6 ◽

2011 ◽

Cited By ~ 4

Author(s):

Jesse Poore ◽

Lan Lin ◽

Robert Eschbach ◽

Thomas Bauer

Keyword(s):

Embedded Systems ◽

Statistical Testing

Download Full-text

Behavioral System Models versus Models of Testing Strategies in Functional Test Generation

Model-Based Testing for Embedded Systems - Computational Analysis, Synthesis, & Design Dynamic Systems ◽

10.1201/b11321-3 ◽

2011 ◽

Author(s):

Antti Huima

Keyword(s):

Test Generation ◽

Functional Test ◽

System Models ◽

Testing Strategies ◽

Behavioral System

Download Full-text

Dynamic Verification of SystemC Transactional Models

Model-Based Testing for Embedded Systems - Computational Analysis, Synthesis, & Design Dynamic Systems ◽

10.1201/b11321-23 ◽

2011 ◽

Cited By ~ 4

Author(s):

Laurence Pierre ◽

Luca Ferro

Keyword(s):

Dynamic Verification ◽

Transactional Models

Download Full-text

A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains

Model-Based Testing for Embedded Systems - Computational Analysis, Synthesis, & Design Dynamic Systems ◽

10.1201/b11321-2 ◽

2011 ◽

Cited By ~ 13

Author(s):

Justyna Zander ◽

Ina Schieferdecker

Keyword(s):

Embedded Systems ◽

Model Based ◽

Model Based Testing

Download Full-text

How to Design Extended Finite State Machine Test Models in Java

Model-Based Testing for Embedded Systems - Computational Analysis, Synthesis, & Design Dynamic Systems ◽

10.1201/b11321-7 ◽

2011 ◽

Cited By ~ 1

Author(s):

Mark Utting

Keyword(s):

Finite State Machine ◽

State Machine ◽

Test Models ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

Automatic Model-Based Test Generation from UML State Machines

Model-Based Testing for Embedded Systems - Computational Analysis, Synthesis, & Design Dynamic Systems ◽

10.1201/b11321-5 ◽

2011 ◽

Cited By ~ 12

Author(s):

Stephan Weißleder ◽

Holger Schlingloff

Keyword(s):

Test Generation ◽

State Machines ◽

Model Based ◽

Uml State Machines

Download Full-text

Test Framework Architectures for Model-Based Embedded System Testing

Model-Based Testing for Embedded Systems - Computational Analysis, Synthesis, & Design Dynamic Systems ◽

10.1201/b11321-4 ◽

2011 ◽

Author(s):

Stephen Masticola ◽

Michael Gall

Keyword(s):

Embedded System ◽

System Testing ◽

Model Based ◽

Test Framework

Download Full-text

Automatic Testing of LUSTRE/SCADE Programs

Model-Based Testing for Embedded Systems - Computational Analysis, Synthesis, & Design Dynamic Systems ◽

10.1201/b11321-8 ◽

2011 ◽

Cited By ~ 2

Author(s):

Virginia Papailiopoulou ◽

Besnik Seljimi ◽

Ioannis Parissis

Keyword(s):

Automatic Testing

Download Full-text

Model-Based Testing for Embedded Systems - Computational Analysis, Synthesis, & Design Dynamic SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By CRC Press

Applying Model-Based Testing in the Telecommunication Domain

Multilevel Testing for Embedded Systems

Automated Statistical Testing for Embedded Systems

Behavioral System Models versus Models of Testing Strategies in Functional Test Generation

Dynamic Verification of SystemC Transactional Models

A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains

How to Design Extended Finite State Machine Test Models in Java

Automatic Model-Based Test Generation from UML State Machines

Test Framework Architectures for Model-Based Embedded System Testing

Automatic Testing of LUSTRE/SCADE Programs

Model-Based Testing for Embedded Systems - Computational Analysis, Synthesis, & Design Dynamic Systems
Latest Publications