2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - IEEE 2019 Proceeding ISSN: 978-1-7281-1736-2 978-1-7281-1737-9 Subjects--Topical Terms: Computing and Processing