Testing as Collecting of Evidence: An Integrated Approach to Test Generation for Finite State Machines.
Monika Kapus-KolarPublished in: Comput. J. (2007)
Keyphrases
- test generation
- mutation testing
- finite state machines
- test cases
- symbolic execution
- test sequences
- software testing
- static analysis
- finite state automata
- quality assurance
- design automation
- code coverage
- model checking
- test suite
- test data generation
- multi agent systems
- regular expressions
- multi agent
- xml documents
- regression testing
- relational databases