2022-03-022022-03-022014978-0-7695-5185-2978-1-4799-2256-7https://publica.fraunhofer.de/handle/publica/157012IEEE Seventh International Conference on Software Testing, Verification and Validation, ICST 2014