Incremental Refinement Checking for Test Case Generation

Bernhard Aichernig, Elisabeth Jöbstl, Matthias Kegele

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationTests and Proofs
PublisherSpringer
Pages1-19
Volume7942
ISBN (Print)978-3-642-38915-3
Publication statusPublished - 2013
EventInternational Conference on Tests and Proofs 2013 - Budapest, Hungary
Duration: 18 Jun 201319 Jun 2013

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceInternational Conference on Tests and Proofs 2013
Abbreviated titleTAP 2013
CountryHungary
CityBudapest
Period18/06/1319/06/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Cite this

Aichernig, B., Jöbstl, E., & Kegele, M. (2013). Incremental Refinement Checking for Test Case Generation. In Tests and Proofs (Vol. 7942, pp. 1-19). (Lecture Notes in Computer Science). Springer.

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

Tests and Proofs. Vol. 7942 Springer, 2013. p. 1-19 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Aichernig, B, Jöbstl, E & Kegele, M 2013, Incremental Refinement Checking for Test Case Generation. in Tests and Proofs. vol. 7942, Lecture Notes in Computer Science, Springer, pp. 1-19, International Conference on Tests and Proofs 2013, Budapest, Hungary, 18/06/13.
Aichernig B, Jöbstl E, Kegele M. Incremental Refinement Checking for Test Case Generation. In Tests and Proofs. Vol. 7942. Springer. 2013. p. 1-19. (Lecture Notes in Computer Science).
Aichernig, Bernhard ; Jöbstl, Elisabeth ; Kegele, Matthias. / Incremental Refinement Checking for Test Case Generation. Tests and Proofs. Vol. 7942 Springer, 2013. pp. 1-19 (Lecture Notes in Computer Science).
@inproceedings{0314f958f40c4898867b74775a99d4ca,
title = "Incremental Refinement Checking for Test Case Generation",
author = "Bernhard Aichernig and Elisabeth J{\"o}bstl and Matthias Kegele",
year = "2013",
language = "English",
isbn = "978-3-642-38915-3",
volume = "7942",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "1--19",
booktitle = "Tests and Proofs",

}

TY - GEN

T1 - Incremental Refinement Checking for Test Case Generation

AU - Aichernig, Bernhard

AU - Jöbstl, Elisabeth

AU - Kegele, Matthias

PY - 2013

Y1 - 2013

M3 - Conference contribution

SN - 978-3-642-38915-3

VL - 7942

T3 - Lecture Notes in Computer Science

SP - 1

EP - 19

BT - Tests and Proofs

PB - Springer

ER -