Model-based testing in practice

Research output: Contribution to journalConference articlepeer-review

25 Scopus citations
Original languageEnglish
Pages (from-to)537-541
Number of pages5
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
StatePublished - 2005
Externally publishedYes
EventInternational Symposium of Formal Methods Europe, FM 2005 - Newcastle, United Kingdom
Duration: 18 Jul 200522 Jul 2005

Cite this