Model-based, mutation-driven test case generation via heuristic-guided branching search.

Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher

Browse the full MEMOCODE paper archive.