Decomposition-Based Approach for Model-Based Test Generation.

Paolo Arcaini Angelo Gargantini Elvinia Riccobene

Published in: IEEE Trans. Software Eng. (2019)

Keyphrases

test generation
test cases
test sequences
symbolic execution
static analysis
design automation
software testing
decomposition method
quality assurance
test data generation
mutation testing
databases
computer vision
information technology