Testing Exponentiality Based on Kullback-Leibler Information With Progressively Type-II Censored Data | IEEE Journals & Magazine | IEEE Xplore