Model-based testing in practice

Research output: Contribution to journal › Conference article › peer-review

27 Scopus citations

Original language	English
Pages (from-to)	537-541
Number of pages	5
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3582
DOIs	https://doi.org/10.1007/11526841_37
State	Published - 2005
Externally published	Yes
Event	International Symposium of Formal Methods Europe, FM 2005 - Newcastle, United Kingdom Duration: 18 Jul 2005 → 22 Jul 2005

Access to Document

@article{617157438e97416aa09d4c9848bccd0a,

title = "Model-based testing in practice",

author = "Alexander Pretschner",

year = "2005",

doi = "10.1007/11526841\_37",

language = "English",

volume = "3582",

pages = "537--541",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "International Symposium of Formal Methods Europe, FM 2005 ; Conference date: 18-07-2005 Through 22-07-2005",

}

TY - JOUR

T1 - Model-based testing in practice

AU - Pretschner, Alexander

PY - 2005

Y1 - 2005

UR - https://www.scopus.com/pages/publications/26444548025

U2 - 10.1007/11526841_37

DO - 10.1007/11526841_37

M3 - Conference article

AN - SCOPUS:26444548025

SN - 0302-9743

VL - 3582

SP - 537

EP - 541

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - International Symposium of Formal Methods Europe, FM 2005

Y2 - 18 July 2005 through 22 July 2005

ER -