Using UML Models and Formal Verification in Model-Based Testing

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

12 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	17th IEEE Intl. Conference on Engineering of Computer-Based Systems (ECBS 2010)
Kustantaja	IEEE
Sivut	–
ISBN (painettu)	978-1-4244-6537-8
Tila	Julkaistu - 2010
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	IEEE International Conference and Workshops on Engineering of Computer Based Systems - 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Kesto: 1 tammik. 2010 → …

Konferenssi	IEEE International Conference and Workshops on Engineering of Computer Based Systems
Ajanjakso	01/01/10 → …

D-Mint: Deployment of Model-Based Technologies to Industrial Testing
Truscan, D. (Vastuullinen tutkija), Lilius, J. (CoPI), Porres Paltor, I. (CoPI) & Abbors, F. (CoI)
01/01/07 → 31/12/09
Projekti: Industry/Business Finland

Viittausmuodot

@inproceedings{13ab2d4d11fe4964b92d42ec83ac87ea,

title = "Using UML Models and Formal Verification in Model-Based Testing",

author = "Q Malik and Dragos Truscan and Johan Lilius",

year = "2010",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-1-4244-6537-8",

pages = "{\textendash}",

booktitle = "17th IEEE Intl. Conference on Engineering of Computer-Based Systems (ECBS 2010)",

publisher = "IEEE",

note = "IEEE International Conference and Workshops on Engineering of Computer Based Systems ; Conference date: 01-01-2010",

}

TY - GEN

T1 - Using UML Models and Formal Verification in Model-Based Testing

AU - Malik, Q

AU - Truscan, Dragos

AU - Lilius, Johan

PY - 2010

Y1 - 2010

M3 - Publicerad konferensartikel

SN - 978-1-4244-6537-8

SP - –

BT - 17th IEEE Intl. Conference on Engineering of Computer-Based Systems (ECBS 2010)

PB - IEEE

T2 - IEEE International Conference and Workshops on Engineering of Computer Based Systems

Y2 - 1 January 2010

ER -