Adaptive Model Checking | OUP Journals & Magazine | IEEE Xplore