Meroufel, B.; Belalem, G. ABSTRACTION CHECKPOINTING LEVELS: PROBLEMS AND SOLUTIONS. IJC 2014, 13, 158-169.