Aggelos Giantsios, Nikolaos Papaspyrou, Konstantinos Sagonas. Concolic testing for functional languages. Science of Computer Programming, 147:109-134, 2017. [doi]
@article{GiantsiosPS17, title = {Concolic testing for functional languages}, author = {Aggelos Giantsios and Nikolaos Papaspyrou and Konstantinos Sagonas}, year = {2017}, doi = {10.1016/j.scico.2017.04.008}, url = {https://doi.org/10.1016/j.scico.2017.04.008}, researchr = {https://researchr.org/publication/GiantsiosPS17}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {147}, pages = {109-134}, }