BESA: Extending Bugs Triggered by Runtime Testing via Static Analysis.

Jia-Ju Bai

Browse the full EuroSys paper archive.