The Development of an Automatic Test Assembly System for a Formative Assessment in Mastery Learning Instruction: Case of the SQL Mastery Course | IEEE Journals & Magazine | IEEE Xplore