Concolic testing for functional languages.

Aggelos Giantsios Nikolaos S. Papaspyrou Konstantinos Sagonas

Published in: PPDP (2015)

Keyphrases

language independent
functional language
multi lingual
machine learning
real time
expressive power
functional analysis
databases
search engine
web services
database systems
information retrieval systems
target language
functional properties
functional programming