Concolic testing for functional languages.

Aggelos Giantsios Nikolaos Papaspyrou Konstantinos Sagonas

Published in: Sci. Comput. Program. (2017)

Keyphrases

expressive power
functional language
databases
information retrieval
learning algorithm
image sequences
test cases
multilingual information retrieval
genetic algorithm
artificial intelligence
text summarization
software testing
language identification
functional analysis
native language