From test cases to FSMs: augmented test-driven development and property inference.
Thomas ArtsSimon J. ThompsonPublished in: Erlang Workshop (2010)
Keyphrases
- test cases
- test driven development
- test data
- software testing
- test suite
- test sequences
- finite state machines
- test set
- regression testing
- software development
- test generation
- test case generation
- black box
- testing process
- test case selection
- test data generation
- test suite reduction
- model based testing
- number of test cases
- databases
- video sequences
- unit testing
- database