Detecting Change in Program Behavior for Adaptive Optimization. - Nitzan Peleg; Bilha Mendelson (PACT, 2007)

The Advantages of Post-Link Code Coverage. - Orna Raz; Moshe Klausner; Nitzan Peleg; Gadi Haber; Eitan Farchi; Shachar Fienblit; Yakov S. Filiarsky; Shay Gammer; Sergey Novikov (Haifa Verification Conference, 2007)