The ATLAS language-panacea or pariah? Does it only specify the task or does it really drive the tester? | IEEE Journals & Magazine | IEEE Xplore