Contract-based test generation for data flow of business processes using constraint programming.
Andres Jimenez RamirezRafael Martinez GascaAngel Jesus Varela-VacaPublished in: RCIS (2011)
Keyphrases
- constraint programming
- data flow
- business processes
- test generation
- business process
- symbolic execution
- test cases
- constraint satisfaction problems
- constraint satisfaction
- control flow
- web services
- static analysis
- quality assurance
- workflow model
- workflow management systems
- workflow management
- process model
- software testing
- object oriented
- business rules
- business process management
- supply chain
- search algorithm
- service oriented
- regression testing
- business partners
- artificial intelligence