Model-Based Testing for Embedded Systems
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By CRC Press

9781315218021

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model-Based Testing of Analog Embedded Systems Components

Model-Based Testing for Embedded Systems ◽

10.1201/b11321-34 ◽

2017 ◽

pp. 629-646

Keyword(s):

Embedded Systems ◽

Model Based ◽

Model Based Testing

Model-Based Testing in Embedded Automotive Systems

Model-Based Testing for Embedded Systems ◽

10.1201/b11321-31 ◽

2017 ◽

pp. 573-604

Keyword(s):

Automotive Systems ◽

Model Based ◽

Model Based Testing

How to Design Extended Finite State Machine Test Models in Java

Model-Based Testing for Embedded Systems ◽

10.1201/b11321-15 ◽

2017 ◽

pp. 175-198 ◽

Cited By ~ 11

Keyword(s):

Finite State Machine ◽

State Machine ◽

Test Models ◽

Finite State ◽

Extended Finite State Machine

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

Model-Based Testing for Embedded Systems ◽

10.1201/b11321-9 ◽

2017 ◽

pp. 31-50 ◽

Cited By ~ 1

Keyword(s):

Embedded Systems ◽

Model Based ◽

Model Based Testing

Applying Model-Based Testing in the Telecommunication Domain and Dragos Truscan

Model-Based Testing for Embedded Systems ◽

10.1201/b11321-29 ◽

2017 ◽

pp. 515-552

Keyword(s):

Model Based ◽

Model Based Testing

Model-Based X-in-the-Loop Testing

Model-Based Testing for Embedded Systems ◽

10.1201/b11321-22 ◽

2017 ◽

pp. 327-364

Keyword(s):

Model Based

Multilevel Testing for Embedded Systems

Model-Based Testing for Embedded Systems ◽

10.1201/b11321-21 ◽

2017 ◽

pp. 297-326

Keyword(s):

Embedded Systems

A Model-Based View onto Testing: Criteria for the Derivation of Entry Tests for Integration Testing

Model-Based Testing for Embedded Systems ◽

10.1201/b11321-20 ◽

2017 ◽

pp. 273-296 ◽

Cited By ~ 10

Keyword(s):

Integration Testing ◽

Model Based ◽

Testing Criteria

Model-Based Passive Testing of Safety-Critical Components

Model-Based Testing for Embedded Systems ◽

10.1201/b11321-27 ◽

2017 ◽

pp. 481-512

Keyword(s):

Safety Critical ◽

Model Based ◽

Passive Testing ◽

Critical Components

Testing-Based Translation Validation of Generated Code

Model-Based Testing for Embedded Systems ◽

10.1201/b11321-33 ◽

2017 ◽

pp. 607-628

Keyword(s):

Translation Validation