Keyphrases
- international workshop
- acm sigkdd
- model based testing
- selected papers
- test cases
- knowledge discovery and data mining
- software development
- software design
- sequence diagrams
- security policies
- naacl hlt
- decision trees
- software engineering
- software testing
- international symposium
- data model
- invited talk
- artificial intelligence
- databases
- workshop on artificial intelligence
- data sets