Skip to main navigation Skip to search Skip to main content

Automated Fault Localization for C Programs

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Search results

  • Finished

    EU - Prosyd - Property-Based System Design

    Jobstmann, B. (Attendee / Assistant), Bloem, R. (Project manager), Pill, I. H. (Attendee / Assistant), Griesmayer, A. (Attendee / Assistant) & Staber, S. S. (Attendee / Assistant)

    1/01/04 → 31/12/06

    Project: Research project