Aggelos Giantsios, Nikolaos S. Papaspyrou, Konstantinos F. Sagonas. Concolic testing for functional languages. In Moreno Falaschi, Elvira Albert, editors, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015. pages 137-148, ACM, 2015. [doi]
Abstract is missing.