Contract driven development = test driven development - writing test cases.
Andreas LeitnerIlinca CiupaManuel OriolBertrand MeyerArno FivaPublished in: ESEC/SIGSOFT FSE (2007)
Keyphrases
- test cases
- software testing
- test data
- test case generation
- regression testing
- test data generation
- testing process
- test suite
- number of test cases
- test generation
- test sequences
- black box
- test case selection
- integration testing
- development process
- test set
- model based testing
- software development
- relational databases
- case study
- machine learning
- neural network
- databases
- test suite reduction
- database