Towards Automatic Test Suite Generation for Functional Programming Assignments using Budgeted Compositional Symbolic

In this thesis, we have defined a symbolic execution technique to automatically generate test suites for programs written in functional programming languages that can find the behavioural differences between a reference implementation and a set of potentially different implementations. Our symbolic execution technique uses a constraint solver in...