Using UML Models and Formal Verification in Model-Based Testing

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

12 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	17th IEEE Intl. Conference on Engineering of Computer-Based Systems (ECBS 2010)
Publisher	IEEE
Pages	–
ISBN (Print)	978-1-4244-6537-8
Publication status	Published - 2010
MoE publication type	A4 Article in a conference publication
Event	IEEE International Conference and Workshops on Engineering of Computer Based Systems - 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Duration: 1 Jan 2010 → …

Conference	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. (Principal Investigator), Lilius, J. (Co-Principal Investigator), Porres Paltor, I. (Co-Principal Investigator) & Abbors, F. (Co-Investigator)
01/01/07 → 31/12/09
Project: Industry/Business Finland

Cite this

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