Test Case Generation for Concurrent Systems Using Event Structures

Konstantinos Athanasiou; Hernán Ponce de León; Stefan Schwoon

Test Case Generation for Concurrent Systems Using Event Structures

Konstantinos Athanasiou, Hernán Ponce de León, Stefan Schwoon

Department of Computer Science

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

2 Citations (Scopus)

Original language	English
Title of host publication	International Conference on Tests & Proofs, L'Aquila, 2224 July 2015
Editors	Jasmin Christian Blanchette, Nikolai Kosmatov
Place of Publication	L'Aquila, Italy
Pages	19-37
ISBN (Electronic)	978-3-319-21215-9
Publication status	Published - 2015
MoE publication type	A4 Article in a conference publication

Publication series

Name
Publisher	Springer
ISSN (Print)	0302-9743

SFX availability

Full text

Cite this

@inproceedings{1a8a23520f6145cdb8bd66509df1c9f7,

title = "Test Case Generation for Concurrent Systems Using Event Structures",

author = "Konstantinos Athanasiou and {Ponce de Le{\'o}n}, Hern{\'a}n and Stefan Schwoon",

note = "VK: HIIT",

year = "2015",

language = "English",

isbn = "978-3-319-21214-2",

publisher = "Springer",

pages = "19--37",

editor = "{Christian Blanchette}, Jasmin and Nikolai Kosmatov",

booktitle = "International Conference on Tests & Proofs, L'Aquila, 2224 July 2015",

}

Test Case Generation for Concurrent Systems Using Event Structures. / Athanasiou, Konstantinos; Ponce de León, Hernán; Schwoon, Stefan.

International Conference on Tests & Proofs, L'Aquila, 2224 July 2015. ed. / Jasmin Christian Blanchette; Nikolai Kosmatov. L'Aquila, Italy, 2015. p. 19-37.

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

TY - GEN

T1 - Test Case Generation for Concurrent Systems Using Event Structures

AU - Athanasiou, Konstantinos

AU - Ponce de León, Hernán

AU - Schwoon, Stefan

N1 - VK: HIIT

PY - 2015

Y1 - 2015

UR - http://dx.doi.org/10.1007/978-3-319-21215-9_2

M3 - Conference contribution

SN - 978-3-319-21214-2

SP - 19

EP - 37

BT - International Conference on Tests & Proofs, L'Aquila, 2224 July 2015

A2 - Christian Blanchette, Jasmin

A2 - Kosmatov, Nikolai

CY - L'Aquila, Italy

ER -

Test Case Generation for Concurrent Systems Using Event Structures

Publication series

SFX availability

Other files and links

Cite this