Singularity: pattern fuzzing for worst case complexity

Jiayi Wei, Jia Chen, Yu Feng, Kostas Ferles, Isil Dillig. Singularity: pattern fuzzing for worst case complexity. In Gary T. Leavens, Alessandro Garcia, Corina S. Pasareanu, editors, Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018. pages 213-223, ACM, 2018. [doi]

@inproceedings{WeiCFFD18,
  title = {Singularity: pattern fuzzing for worst case complexity},
  author = {Jiayi Wei and Jia Chen and Yu Feng and Kostas Ferles and Isil Dillig},
  year = {2018},
  doi = {10.1145/3236024.3236039},
  url = {https://doi.org/10.1145/3236024.3236039},
  researchr = {https://researchr.org/publication/WeiCFFD18},
  cites = {0},
  citedby = {0},
  pages = {213-223},
  booktitle = {Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018},
  editor = {Gary T. Leavens and Alessandro Garcia and Corina S. Pasareanu},
  publisher = {ACM},
  isbn = {978-1-4503-5573-5},
}