2022-03-022022-03-022009978-0-7695-3601-9978-1-4244-3775-7https://publica.fraunhofer.de/handle/publica/148702Second International Conference on Software Testing, Verification, and Validation ICST 2009. Proceedings