B-Testing-Tools : génération de tests aux limites à partir de spécifications B.
Bruno LegeardFabien PeureuxPublished in: Tech. Sci. Informatiques (2002)
Keyphrases
- test cases
- test generation
- test data
- software tools
- statistical tests
- decision support
- real world
- search based software testing
- database
- test set
- building blocks
- object oriented
- end users
- web applications
- learning objects
- evolutionary algorithm
- database systems
- knowledge base
- test suite
- software testing
- web pages
- real time