Test case generation for object-oriented imperative languages in CLP.
Miguel Gómez-ZamalloaElvira AlbertGermán PueblaPublished in: Theory Pract. Log. Program. (2010)
Keyphrases
- test case generation
- object oriented
- object oriented systems
- test cases
- object oriented languages
- software engineering
- constraint logic programming
- software testing
- data model
- test data generation
- relational databases
- query language
- databases
- source code
- programming language
- object oriented databases
- software maintenance
- design patterns
- real time
- reverse engineering
- test suite
- programming environment
- evolutionary algorithm
- database systems