17th International Conference on Software Engineering and Formal Methods

View Statistics Email Alert RSS Feed

Description

Event name
17th International Conference on Software Engineering and Formal Methods
 
Event type
Event for scientific audience
 
Start date
18-09-2019
End date
20-09-2019
 
Location
Oslo, Norway
Oslo, Norway
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-2 of 2 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Nickovic, Dejan Automatic Failure Explanation in CPS ModelsKonferenzbeitrag Inproceedings2019
2Fellner, Andreas ; Befrouei, Mitra Tabaei ; Weissenbacher, Georg Mutation Testing with HyperpropertiesKonferenzbeitrag Inproceedings 2019