1. 2017. Tool for algorithmic complexity analysis based on symbolic execution. https://github.com/isstac/spf-wca. 2017. Tool for algorithmic complexity analysis based on symbolic execution. https://github.com/isstac/spf-wca.
2. 2018. Badger: complexity analysis with fuzzing and symbolic execution. https: //github.com/isstac/badger. 2018. Badger: complexity analysis with fuzzing and symbolic execution. https: //github.com/isstac/badger.
3. 2018. Pattern Fuzzing for Worst-Case Algorithmic Complexity. https://github. com/MrVPlusOne/Singularity 2018. Pattern Fuzzing for Worst-Case Algorithmic Complexity. https://github. com/MrVPlusOne/Singularity
4. Christian Altmeier , Christian Mainka , Juraj Somorovsky , and Jörg Schwenk . 2015. Adidos--adaptive and intelligent fully-automatic detection of denial-of-service weaknesses in web services . In Data Privacy Management, and Security Assurance . Springer , 65--80. Christian Altmeier, Christian Mainka, Juraj Somorovsky, and Jörg Schwenk. 2015. Adidos--adaptive and intelligent fully-automatic detection of denial-of-service weaknesses in web services. In Data Privacy Management, and Security Assurance. Springer, 65--80.
5. Enhancing symbolic execution with veritesting