@misc{14514, author = {Shaukat Ali and Tao Yue and Zafar Malik}, title = {On Understandability of Aspect State Machines for Robustness Testing: A Controlled Experiment}, year = {2011}, number = {2011-02}, publisher = {Simula Research Laboratory}, note = {This technical report is an early version of a published paper.}, }