2022-03-022022-03-022012978-1-4577-1906-6978-0-7695-4670-4https://publica.fraunhofer.de/handle/publica/153657IEEE Fifth International Conference on Software Testing, Verification and Validation, ICST 2012