@inproceedings{HTTW112013,
               author = {H. Eichelberger, T. Kropf, T. Greiner, W. Rosenstiel},
               title = {Runtime Verification Driven Debugging of Replayed Errors},
               booktitle = {Proceedings of the PhD Workshop of ICTSS'13},
               year = {2013},
               month = {11},
               pages = {1-4},
               address = {Istanbul}
}