Haifa Verification Conference (HVC)
Event name
Haifa Verification Conference (HVC)
Start date
06-11-2012
End date
08-11-2012
Location
Haifa, Isral
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Charlie Shucheng, Zhu ; Weissenbacher, Georg ; Malik, Sharad | Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon Validation | Konferenzbeitrag Inproceedings  | 2012 | |
| 2 | Laarman, Alfons ; Wijs, Anton | Partial-Order Reduction for Multi-core LTL Model Checking | Konferenzbeitrag Inproceedings | 2014 | |
| 3 | Widl, Magdalena ; Biere, Armin ; Nahir, Amir ; Vos, Tanja | Test Case Generation by Grammar-based Fuzzing for Model-driven Engineering | Konferenzbeitrag Inproceedings | 2012 |