Fast Refinement Checking for Test Case Generation

Bernhard Aichernig, Elisabeth Jöbstl, Matthias Kegele

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Originalspracheenglisch
Verlag.
PublikationsstatusVeröffentlicht - 2013

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Dies zitieren

Fast Refinement Checking for Test Case Generation. / Aichernig, Bernhard; Jöbstl, Elisabeth; Kegele, Matthias.

., 2013.

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Aichernig, Bernhard ; Jöbstl, Elisabeth ; Kegele, Matthias. / Fast Refinement Checking for Test Case Generation. ., 2013.
@book{235bb348c64c41e7a8bcd76a129ec9d9,
title = "Fast Refinement Checking for Test Case Generation",
author = "Bernhard Aichernig and Elisabeth J{\"o}bstl and Matthias Kegele",
note = "Reportnr.: IST-MBT-2013-01",
year = "2013",
language = "English",
publisher = ".",

}

TY - BOOK

T1 - Fast Refinement Checking for Test Case Generation

AU - Aichernig, Bernhard

AU - Jöbstl, Elisabeth

AU - Kegele, Matthias

N1 - Reportnr.: IST-MBT-2013-01

PY - 2013

Y1 - 2013

M3 - Other report

BT - Fast Refinement Checking for Test Case Generation

PB - .

ER -