From Nondeterministic UML Protocol Statemachines to Class Contracts

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

8 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Software Testing, Verification and Validation (ICST), 2010 Third International Conference on
Editors	M Gaudel, AR Cavalli, S Ghosh
Publisher	IEEE computer society press
Pages	107–116
ISBN (Print)	978-0-7695-3990-4/
DOIs	https://doi.org/10.1109/ICST.2010.62
Publication status	Published - 2010
MoE publication type	A4 Article in a conference publication
Event	International Conference on Software Testing, Verification and Validation (ICST) - Third International Conference on Software Testing, Verification and Validation (ICST), 2010 Duration: 7 Apr 2010 → 9 Apr 2010

Conference	International Conference on Software Testing, Verification and Validation (ICST)
Period	07/04/10 → 09/04/10

Access to Document

@inproceedings{d9ca1224af1942f2854fa926373aa042,

title = "From Nondeterministic UML Protocol Statemachines to Class Contracts",

author = "{Porres Paltor}, Ivan and Irum Rauf",

year = "2010",

doi = "10.1109/ICST.2010.62",

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

isbn = "978-0-7695-3990-4/",

pages = "107–116",

editor = "M Gaudel and AR Cavalli and S Ghosh",

booktitle = "Software Testing, Verification and Validation (ICST), 2010 Third International Conference on",

publisher = "IEEE computer society press",

note = "International Conference on Software Testing, Verification and Validation (ICST) ; Conference date: 07-04-2010 Through 09-04-2010",

}

Porres Paltor, I & Rauf, I 2010, From Nondeterministic UML Protocol Statemachines to Class Contracts. in M Gaudel, AR Cavalli & S Ghosh (eds), Software Testing, Verification and Validation (ICST), 2010 Third International Conference on. IEEE computer society press, pp. 107–116, International Conference on Software Testing, Verification and Validation (ICST), 07/04/10. https://doi.org/10.1109/ICST.2010.62

From Nondeterministic UML Protocol Statemachines to Class Contracts. / Porres Paltor, Ivan; Rauf, Irum.
Software Testing, Verification and Validation (ICST), 2010 Third International Conference on. ed. / M Gaudel; AR Cavalli; S Ghosh. IEEE computer society press, 2010. p. 107–116.

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

TY - GEN

T1 - From Nondeterministic UML Protocol Statemachines to Class Contracts

AU - Porres Paltor, Ivan

AU - Rauf, Irum

PY - 2010

Y1 - 2010

U2 - 10.1109/ICST.2010.62

DO - 10.1109/ICST.2010.62

M3 - Konferensbidrag

SN - 978-0-7695-3990-4/

SP - 107

EP - 116

BT - Software Testing, Verification and Validation (ICST), 2010 Third International Conference on

A2 - Gaudel, M

A2 - Cavalli, AR

A2 - Ghosh, S

PB - IEEE computer society press

T2 - International Conference on Software Testing, Verification and Validation (ICST)

Y2 - 7 April 2010 through 9 April 2010

ER -