Property-Based Testing with External Test-Case Generators | IEEE Conference Publication | IEEE Xplore