Isaratham, Worakarn (2015) Equivalence Partitioning as a Basis for Dynamic Conditional Invariant Detection. Masters thesis, National University of Ireland Maynooth.