Formal and Model-Based Testing of Concurrent Workflows.
Chen-Wei WangAlessandra CavarraJim DaviesPublished in: QSIC (2011)
Keyphrases
- model based testing
- test cases
- software development
- data processing
- software design
- testing process
- business processes
- web services
- business process
- security policies
- sequence diagrams
- software testing
- formal specification
- learning algorithm
- machine learning
- data sets
- information systems
- image features
- information technology
- data structure
- database systems