Detecting No-Sleep Bugs Using Sequential Reference Counts. - Priyanka Bharat Sakhare; Dae-Kyoo Kim; Mohammed Hamdi (COMPSAC (1), 2019)