A New Specification-based Test Data Generation Strategy for OSEK OS.

Lin Zhou Min Yao Yongjun Li Chengshuo Zhang Liujie Yao

Published in: CIT (2010)

Keyphrases

test data generation
test case generation
operating system
test cases
simulated annealing algorithm
search based testing
software testing
open source
symbolic execution
generation algorithm
high level
simulated annealing
specification language
object oriented systems