Sleipnir – Constraints and Randomization for Software Defined Data Types