Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design

Book title Buchtitel
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
 
Publisher Herausgeber
ACM
 

Publications Publikationen

Filter:
Author:  Krenn, Willibald

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fellner, Andreas ; Krenn, Willibald ; Schlick, Rupert ; Tarrach, Thorsten ; Weissenbacher, Georg Model-based, mutation-driven test case generation via heuristic-guided branching searchKonferenzbeitrag Inproceedings 2017