MAGISTER: Quality assurance of Magic applications for software developers and end users | IEEE Conference Publication | IEEE Xplore