White-box testing of behavioral web service contracts with Pex.
Nikolai TillmannJonathan de HalleuxPublished in: TAV-WEB (2008)
Keyphrases
- white box testing
- symbolic execution
- software testing
- web services
- test data generation
- black box
- test generation
- quality assurance
- test cases
- test data
- source code
- static analysis
- software development
- specification language
- supply chain
- software engineering
- description language
- business process
- quality control
- labor intensive
- database systems
- software systems
- databases
- data flow
- software projects
- machine vision