Validating a demonstration tool for graphics-assisted debugging of Ada concurrent programs | IEEE Journals & Magazine | IEEE Xplore