Requirements on automatically generated random test cases. - Thomas Arts; Alex Gerdes; Magnus Kronqvist (FedCSIS, 2013)