Items where Author is "Huuck, R." - USP Electronic Research Repository

Group by: Item Type | No Grouping

Number of items: 2.

Mund, Jakob and Huuck, R. and Fehnker, Ansgar and Artho, Cyrylle (2013) The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. [Conference Proceedings]

Junker, M. and Huuck, R. and Fehnker, Ansgar and Knapp, A. (2012) SMT - based false positive elimination in static program analysis. [Conference Proceedings]

This list was generated on Tue Apr 30 19:05:06 2024 +12.