An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems

Mehdi Nobakht; Dragos Truscan

An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems

Mehdi Nobakht
, Dragos Truscan

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

Original language	Undefined/Unknown
Title of host publication	ICSEA 2013, The Eighth International Conference on Software Engineering Advances
Editors	L Lavazza, R Oberhauser, A Martin, J Hassine, M Gebhart, M Jäntti
Publisher	Iaria xps press
Pages	79–85
ISBN (Print)	978-1-61208-304-9
Publication status	Published - 2013
MoE publication type	A4 Article in a conference publication
Event	International Conference on Software Engineering Advances, ICSEA - The Eighth International Conference on Software Engineering Advances, ICSEA 2013 Duration: 27 Oct 2013 → 1 Nov 2013

Conference

Conference	International Conference on Software Engineering Advances, ICSEA
Period	27/10/13 → 01/11/13

PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies
Truscan, D. (Principal Investigator), Ahmad, T. (Co-Investigator), Iqbal, J. (Principal Investigator), Porres Paltor, I. (Co-Principal Investigator) & Siavashi, F. (Co-Investigator)
01/01/12 → 31/12/15
Project: Industry/Business Finland

Cite this

@inproceedings{991a72b2ae834422b3be67d5032ec125,

title = "An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems",

author = "Mehdi Nobakht and Dragos Truscan",

year = "2013",

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

isbn = "978-1-61208-304-9",

pages = "79–85",

editor = "L Lavazza and R Oberhauser and A Martin and J Hassine and M Gebhart and M J{\"a}ntti",

booktitle = "ICSEA 2013, The Eighth International Conference on Software Engineering Advances",

publisher = "Iaria xps press",

note = "International Conference on Software Engineering Advances, ICSEA ; Conference date: 27-10-2013 Through 01-11-2013",

}

Nobakht, M & Truscan, D 2013, An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems. in L Lavazza, R Oberhauser, A Martin, J Hassine, M Gebhart & M Jäntti (eds), ICSEA 2013, The Eighth International Conference on Software Engineering Advances. Iaria xps press, pp. 79–85, International Conference on Software Engineering Advances, ICSEA, 27/10/13.

An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems. / Nobakht, Mehdi; Truscan, Dragos.
ICSEA 2013, The Eighth International Conference on Software Engineering Advances. ed. / L Lavazza; R Oberhauser; A Martin; J Hassine; M Gebhart; M Jäntti. Iaria xps press, 2013. p. 79–85.

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

TY - GEN

T1 - An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems

AU - Nobakht, Mehdi

AU - Truscan, Dragos

PY - 2013

Y1 - 2013

M3 - Publicerad konferensartikel

SN - 978-1-61208-304-9

SP - 79

EP - 85

BT - ICSEA 2013, The Eighth International Conference on Software Engineering Advances

A2 - Lavazza, L

A2 - Oberhauser, R

A2 - Martin, A

A2 - Hassine, J

A2 - Gebhart, M

A2 - Jäntti, M

PB - Iaria xps press

T2 - International Conference on Software Engineering Advances, ICSEA

Y2 - 27 October 2013 through 1 November 2013

ER -

An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems

Conference

Projects

PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies

Cite this