Connecting Verification & Diagnosis:Using Spectrum-based Fault Localization for Diagnostic Purposes

Activity: Talk or presentation › Invited talk

Period25 Apr 2023
Held atHelmut-Schmidt-University, Germany