Talks and Poster Presentations (with Proceedings-Entry):

A. Farzan, A. Holzer, N. Razavi, H. Veith:
"Concolic Testing of Concurrent Programs";
Talk: Fachtagung des GI-Fachbereichs Softwaretechnik, Kiel, Deutschland; 2014-02-25 - 2014-02-28; in: "Software Engineering 2014", LNI, 227 (2014), ISBN: 978-388579-621-3; 101 - 102.

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.