How assertions can increase test effectiveness | IEEE Journals & Magazine | IEEE Xplore