Formal Model-Based Test for AUTOSAR Multicore RTOS.

Ling Fang Takashi Kitamura Thi Bich Ngoc Do Hitoshi Ohsaki

Published in: ICST (2012)

Keyphrases

test cases
artificial intelligence
data driven
test data
statistical tests
computing power
formal language