Dynamic Symbolic Execution of Distributed Concurrent Objects

Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationTests and Proofs
PublisherSpringer Verlag
Pages105-120
Volume5668
DOIs
Publication statusPublished - 2009
EventInternational Conference on Tests And Proofs - Zurich, Switzerland
Duration: 2 Jul 20093 Jul 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag

Conference

ConferenceInternational Conference on Tests And Proofs
CountrySwitzerland
CityZurich
Period2/07/093/07/09

Cite this

Griesmayer, A., Aichernig, B., Broch Johnsen, E., & Schlatte, R. (2009). Dynamic Symbolic Execution of Distributed Concurrent Objects. In Tests and Proofs (Vol. 5668, pp. 105-120). (Lecture Notes in Computer Science). Springer Verlag. https://doi.org/doi:10.1007/978-3-642-02949-3_9

Dynamic Symbolic Execution of Distributed Concurrent Objects. / Griesmayer, Andreas; Aichernig, Bernhard; Broch Johnsen, Einar; Schlatte, Rudolf.

Tests and Proofs. Vol. 5668 Springer Verlag, 2009. p. 105-120 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Griesmayer, A, Aichernig, B, Broch Johnsen, E & Schlatte, R 2009, Dynamic Symbolic Execution of Distributed Concurrent Objects. in Tests and Proofs. vol. 5668, Lecture Notes in Computer Science, Springer Verlag, pp. 105-120, International Conference on Tests And Proofs, Zurich, Switzerland, 2/07/09. https://doi.org/doi:10.1007/978-3-642-02949-3_9
Griesmayer A, Aichernig B, Broch Johnsen E, Schlatte R. Dynamic Symbolic Execution of Distributed Concurrent Objects. In Tests and Proofs. Vol. 5668. Springer Verlag. 2009. p. 105-120. (Lecture Notes in Computer Science). https://doi.org/doi:10.1007/978-3-642-02949-3_9
Griesmayer, Andreas ; Aichernig, Bernhard ; Broch Johnsen, Einar ; Schlatte, Rudolf. / Dynamic Symbolic Execution of Distributed Concurrent Objects. Tests and Proofs. Vol. 5668 Springer Verlag, 2009. pp. 105-120 (Lecture Notes in Computer Science).
@inproceedings{f43f6e6723924f6a81ea5ec182528fa5,
title = "Dynamic Symbolic Execution of Distributed Concurrent Objects",
author = "Andreas Griesmayer and Bernhard Aichernig and {Broch Johnsen}, Einar and Rudolf Schlatte",
year = "2009",
doi = "doi:10.1007/978-3-642-02949-3_9",
language = "English",
volume = "5668",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "105--120",
booktitle = "Tests and Proofs",
address = "Germany",

}

TY - GEN

T1 - Dynamic Symbolic Execution of Distributed Concurrent Objects

AU - Griesmayer, Andreas

AU - Aichernig, Bernhard

AU - Broch Johnsen, Einar

AU - Schlatte, Rudolf

PY - 2009

Y1 - 2009

U2 - doi:10.1007/978-3-642-02949-3_9

DO - doi:10.1007/978-3-642-02949-3_9

M3 - Conference contribution

VL - 5668

T3 - Lecture Notes in Computer Science

SP - 105

EP - 120

BT - Tests and Proofs

PB - Springer Verlag

ER -