Automated checking of Matlab script functionality | IEEE Conference Publication | IEEE Xplore