Dynamic Symbolic Execution of Distributed Concurrent Objects

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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