Concurrency Defect Localization in Embedded Systems using Static Code Analysis: An Evaluation.

Bjarne Johansson, Alessandro Vittorio Papadopoulos, Thomas Nolte

Browse the full ISSRE paper archive.