Test Generation for Specifications Modeled by Input/Output Automata.
Q. M. TanAlexandre PetrenkoPublished in: IWTCS (1998)
Keyphrases
- input output
- test generation
- test cases
- finite state machines
- symbolic execution
- design automation
- test sequences
- static analysis
- quality assurance
- noise cancellation
- software testing
- internal states
- code coverage
- fuzzy inference system
- formal specification
- data envelopment analysis
- fuzzy model
- high level
- hardware and software
- single phase
- test set
- software development
- artificial intelligence
- neural network