![](/img/cover-not-exists.png)
[ACM Press the 15th ACM-IEEE International Conference - Vienna, Austria (2017.09.29-2017.10.02)] Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 - Model-based, mutation-driven test case generation via heuristic-guided branching search
Fellner, Andreas, Krenn, Willibald, Schlick, Rupert, Tarrach, Thorsten, Weissenbacher, GeorgYear:
2017
Language:
english
DOI:
10.1145/3127041.3127049
File:
PDF, 809 KB
english, 2017