Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects.
Merlin HughesP. David StottsPublished in: ISSTA (1996)
Keyphrases
- object oriented
- test cases
- symbolic execution
- programming language
- object oriented programs
- computer programs
- data model
- set of test cases
- object oriented databases
- operating system
- software engineering
- query language
- database systems
- artificial intelligence
- open source
- higher order
- statistically significant
- test data
- software testing
- programming environment
- conceptual models
- test generation
- search engine
- object oriented modeling
- database