When model-based testing fails

Bernhard Aichernig, Chris George

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)115-128
JournalElectronic Notes in Theoretical Computer Science
Volume164
Issue number4
DOIs
Publication statusPublished - 2006
  • Formal Methods

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

    1/01/95 → …

    Project: Research area

Cite this