Model-Based Mutation Testing via Symbolic Refinement Checking

Bernhard Aichernig, Elisabeth Jöbstl, Stefan Tiran

Publikation: Beitrag in einer FachzeitschriftArtikel

Originalspracheenglisch
Seiten (von - bis)383-404
FachzeitschriftScience of computer programming
Jahrgang97, Part 4
PublikationsstatusVeröffentlicht - 2015

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren