Test Case Generation for Visual Contracts Using AI Planning.
Matthias SchnelteBaris GüldaliPublished in: GI Jahrestagung (2) (2010)
Keyphrases
- ai planning
- test case generation
- integer programming
- planning problems
- web service composition
- test cases
- heuristic search
- software testing
- planning systems
- test data generation
- planning domains
- service composition
- object oriented systems
- test suite
- case study
- action models
- branch and bound
- constraint satisfaction
- software engineering
- object oriented
- state space
- np hard