Property-Based Testing with External Test-Case Generators. - Bernhard K. Aichernig; Silvio Marcovic; Richard Schumi (ICST Workshops, 2017)