A controlled experiment to assess the benefits of procedure argument type checking | IEEE Journals & Magazine | IEEE Xplore