Test Case Generation for Object-Oriented Imperative Languages in CLP
Miguel Gómez-ZamalloaElvira AlbertGermán PueblaPublished in: CoRR (2010)
Keyphrases
- test case generation
- object oriented
- object oriented systems
- test cases
- object oriented languages
- software testing
- constraint logic programming
- programming language
- test data generation
- software engineering
- data model
- test suite
- databases
- software maintenance
- object oriented databases
- query language
- relational databases
- software systems
- test set
- source code
- transactional memory
- artificial intelligence
- data sets