@inproceedings{PBTGRHJSSW032013,
               author = {P. Heckeler, B. Schlich, T. Kropf, G. R. Cardoso, H. Eichelberger, J. Ruf, S. Huster, S. Burg, W. Rosenstiel},
               title = {Accelerated Robustness Testing of State-Based Components using Reverse Execution},
               booktitle = {Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC)},
               publisher = {ACM},
               year = {2013},
               month = {03},
               volume = {2},
               pages = {1188-1195},
               address = {Coimbra, Portugal}
}