Autocorrelation-Based Detection of Infinite Loops at Runtime

Andreas Ibing, Julian Kirsch, Lorenz Panny. Autocorrelation-Based Detection of Infinite Loops at Runtime. In 2016 IEEE 14th Intl Conf on Dependable, Autonomic and Secure Computing, 14th Intl Conf on Pervasive Intelligence and Computing, 2nd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress, DASC/PiCom/DataCom/CyberSciTech 2016, Auckland, New Zealand, August 8-12, 2016. pages 368-375, IEEE Computer Society, 2016. [doi]

@inproceedings{IbingKP16,
  title = {Autocorrelation-Based Detection of Infinite Loops at Runtime},
  author = {Andreas Ibing and Julian Kirsch and Lorenz Panny},
  year = {2016},
  doi = {10.1109/DASC-PICom-DataCom-CyberSciTec.2016.78},
  url = {http://doi.ieeecomputersociety.org/10.1109/DASC-PICom-DataCom-CyberSciTec.2016.78},
  researchr = {https://researchr.org/publication/IbingKP16},
  cites = {0},
  citedby = {0},
  pages = {368-375},
  booktitle = {2016 IEEE 14th Intl Conf on Dependable, Autonomic and Secure Computing, 14th Intl Conf on Pervasive Intelligence and Computing, 2nd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress, DASC/PiCom/DataCom/CyberSciTech 2016, Auckland, New Zealand, August 8-12, 2016},
  publisher = {IEEE Computer Society},
  isbn = {978-1-5090-4065-0},
}