Combining algebraic and model-based test case generation

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

Original languageEnglish
Title of host publicationTheoretical aspects of computing - ICTAC 2004
EditorsZhiming Liu
Place of PublicationBerlin [u.a.]
PublisherSpringer
Pages250-264
Volume3407
ISBN (Print)3-540-25304-1
DOIs
Publication statusPublished - 2005
EventInternational Colloquium on Theoretical Aspects of Computing: ICTAC 2004 - Guiyang, China
Duration: 20 Sep 200424 Sep 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceInternational Colloquium on Theoretical Aspects of Computing
Country/TerritoryChina
CityGuiyang
Period20/09/0424/09/04
  • Formal Methods

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Project: Research area

Cite this