Automated Module Testing in Prolog.
Daniel HoffmanPaul A. StrooperPublished in: IEEE Trans. Software Eng. (1991)
Keyphrases
- logic programming
- semi automated
- fully automated
- expert systems
- knowledge representation
- programming language
- search based testing
- test data
- constraint logic programming
- computer aided
- data driven
- semi automatic
- machine learning
- computer assisted
- similarity measure
- theorem proving
- software testing
- image segmentation
- image processing
- logic programming language
- prolog programs
- genetic algorithm