TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

Jannesari, Ali and Koprowski, Nico and Schimmel, Jochen and Wolf, Felix (2014):
Generating Classified Parallel Unit Tests.
In: Proc. of the 8th International Conference on Tests and Proofs (TAP), York, UK, In: Lecture Notes in Computer Science, 8570, DOI: 10.1007/978-3-319-09099-3₉,
[Online-Edition: http://dx.doi.org/10.1007/978-3-319-09099-3_9],
[Conference or Workshop Item]

Jannesari, Ali and Koprowski, Nico and Schimmel, Jochen and Wolf, Felix and Tichy, Walter F. (2013):
Detecting Correlation Violations and Data Races by Inferring Non-deterministic Reads.
IEEE Computer Society, In: Proc. of the 19th IEEE International Conference on Parallel and Distributed Systems (ICPADS), Seoul, Korea, ISSN 1521-9097,
DOI: 10.1109/ICPADS.2013.14,
[Conference or Workshop Item]

This list was generated on Tue Aug 20 02:06:04 2019 CEST.