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

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
Number of pages	10
Publication status	Published - 2017
Event	MEMOCODE 2017 - Duration: 29 Sept 2017 → 2 Oct 2017

Conference	MEMOCODE 2017
Period	29/09/17 → 2/10/17

Research Field

@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",

}

Model-based, mutation-driven test case generation via heuristic-guided branching search. / Fellner, Andreas (Speaker); Krenn, Willibald; Schlick, Rupert et al.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design. 2017.

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

TY - GEN

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

AU - Krenn, Willibald

AU - Schlick, Rupert

AU - Tarrach, Thorsten

AU - Weissenbacher, Georg

A2 - Fellner, Andreas

PY - 2017

Y1 - 2017

M3 - Conference Proceedings with Oral Presentation

SN - 978-1-4503-5093-8

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

T2 - MEMOCODE 2017

Y2 - 29 September 2017 through 2 October 2017

ER -