Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelThe 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings
Seiten3-19
Seitenumfang17
DOIs
PublikationsstatusVeröffentlicht - 2016

Publikationsreihe

NameElectronic Notes in Theoretical Computer Science
Herausgeber (Verlag)Elsevier
Band320

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren