Automatic Fault Localization for Property Checking

Stefan Simon Staber
, Goerschwin Fey
, Roderick Paul Bloem
, Rolf Drechsler

Institute of Software Engineering and Artificial Intelligence (7160)

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

1 results

Filter

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