Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution.

Meng Li Ratnesh Kumar

Published in: CASE (2013)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
static analysis
quality assurance
control system
software testing
mutation testing
computer aided
fault detection
state space
control algorithm
regression testing
test data generation
databases