A Formal Model for Generating Integrated Functional and User Interface Test Cases.
Daniel SinnigFerhat KhendekPatrice ChalinPublished in: ICST (2010)
Keyphrases
- formal model
- test cases
- user interface
- software testing
- test data
- test suite
- number of test cases
- test sequences
- test generation
- model based testing
- test suite reduction
- black box
- formal models
- regression testing
- test data generation
- test case selection
- set of test cases
- test case generation
- object oriented
- testing process
- security properties
- test set