A subset of precise UML for model-based testing.
Fabrice BouquetChristophe GrandpierreBruno LegeardFabien PeureuxNicolas VaceletMark UttingPublished in: A-MOST (2007)
Keyphrases
- model based testing
- test cases
- sequence diagrams
- software development
- software design
- testing process
- security policies
- software testing
- petri net
- software systems
- case study
- software engineering
- test sequences
- test data
- regression testing
- intermediate representation
- test generation
- neural network
- support vector
- decision making
- real world