@inproceedings{a632daf776da4162898d4de7705ae65c,
title = "Model-based, mutation-driven test case generation via heuristic-guided branching search",
author = "Andreas Fellner and Willibald Krenn and Rupert Schlick and Thorsten Tarrach and Georg Weissenbacher",
year = "2017",
language = "English",
isbn = "978-1-4503-5093-8",
booktitle = "Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design",
note = "MEMOCODE 2017 ; Conference date: 29-09-2017 Through 02-10-2017",
}