Incremental Refinement Checking for Test Case Generation

Bernhard Aichernig, Elisabeth Jöbstl, Matthias Kegele

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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