Test Generation for X-machines with Non-terminal States and Priorities of Operations.

Kirill Bogdanov

Published in: ICST (2011)

Keyphrases

test generation
test cases
symbolic execution
design automation
static analysis
air cargo
quality assurance
test sequences
artificial intelligence
software testing
mutation testing
database
machine vision
finite state machines
regression testing