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