Talks and Poster Presentations (without Proceedings-Entry):
A. Farzan, A. Holzer, N. Razavi, H. Veith:
"Concolic Testing of Concurrent Programs";
Talk: International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2),
Wien;
2014-07-17
- 2014-07-18.