Title: Advanced aspects of verification & audit testing