omrsin/jpf-symspark

Module developed as part of my master thesis: Symbolic Execution of Higher-order Functions in Big Data System. Presented to Prof. Guido Salvaneschi of the Technische Universität Darmstadt

TeX