Dynamic Symbolic Execution of Distributed Concurrent Objects

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelTests and Proofs
Herausgeber (Verlag)Springer Verlag
Seiten105-120
Band5668
DOIs
PublikationsstatusVeröffentlicht - 2009
VeranstaltungInternational Conference on Tests And Proofs - Zurich, Schweiz
Dauer: 2 Jul 20093 Jul 2009

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer-Verlag

Konferenz

KonferenzInternational Conference on Tests And Proofs
LandSchweiz
OrtZurich
Zeitraum2/07/093/07/09

Projekte

Formale Methoden

Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

1/01/95 → …

Projekt: Arbeitsgebiet

Dieses zitieren

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