Combining algebraic and model-based test case generation

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-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 - Guiyang, China
Duration: 20 Sep 200424 Sep 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceInternational Colloquium on Theoretical Aspects of Computing
CountryChina
CityGuiyang
Period20/09/0424/09/04

Cite this

Dan, L., & Aichernig, B. (2005). Combining algebraic and model-based test case generation. In Z. Liu (Ed.), Theoretical aspects of computing - ICTAC 2004 (Vol. 3407, pp. 250-264). (Lecture Notes in Computer Science). Berlin [u.a.]: Springer. https://doi.org/10.1007/b107116