Test scheduling for core-based systems using mixed-integer linear programming | IEEE Journals & Magazine | IEEE Xplore