Using UML Models and Formal Verification in Model-Based Testing

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

12 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	17th IEEE Intl. Conference on Engineering of Computer-Based Systems (ECBS 2010)
Förlag	IEEE
Sidor	–
ISBN (tryckt)	978-1-4244-6537-8
Status	Publicerad - 2010
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	IEEE International Conference and Workshops on Engineering of Computer Based Systems - 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Varaktighet: 1 jan. 2010 → …

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

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

Citera det här

@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 -