Combining algebraic and model-based test case generation

Li Dan, Bernhard Aichernig

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalspracheenglisch
TitelTheoretical aspects of computing - ICTAC 2004
Redakteure/-innenZhiming Liu
ErscheinungsortBerlin [u.a.]
Herausgeber (Verlag)Springer
Seiten250-264
Band3407
ISBN (Print)3-540-25304-1
DOIs
PublikationsstatusVeröffentlicht - 2005
VeranstaltungInternational Colloquium on Theoretical Aspects of Computing: ICTAC 2004 - Guiyang, China
Dauer: 20 Sept. 2004 → 24 Sept. 2004

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Colloquium on Theoretical Aspects of Computing
Land/GebietChina
OrtGuiyang
Zeitraum20/09/04 → 24/09/04

Zugriff auf Dokument

  • Formale Methoden

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

    1/01/95 → …

    Projekt: Arbeitsgebiet

Dieses zitieren