Haifa Verification Conference (HVC)

View Statistics Email Alert RSS Feed

Description

Event name
Haifa Verification Conference (HVC)
 
Event type
Event for scientific audience
 
Start date
06-11-2012
End date
08-11-2012
 
Location
Haifa
Country
Israel
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Charlie Shucheng, Zhu ; Weissenbacher, Georg ; Malik, Sharad Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon ValidationKonferenzbeitrag Inproceedings 2012
2Laarman, Alfons ; Wijs, Anton Partial-Order Reduction for Multi-core LTL Model CheckingKonferenzbeitrag Inproceedings 2014
3Widl, Magdalena Test Case Generation by Grammar-based Fuzzing for Model-driven EngineeringKonferenzbeitrag Inproceedings2012