1. Flask for Python.
http://flask.pocoo.org
2. Graphviz for Python.
https://graphviz.readthedocs.io/en/stable/
3. Babenko, A., Mariani, L., Pastore, F.: Ava: automated interpretation of dynamically detected anomalies. In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, pp. 237–248. ACM, New York, NY, USA (2009).
https://doi.org/10.1145/1572272.1572300
4. Ball, T., Larus, J.R.: Efficient path profiling. In: Proceedings of the 29th Annual ACM/IEEE International Symposium on Microarchitecture MICRO, vol. 29, pp. 46–57. IEEE Computer Society, Washington, DC, USA (1996).
http://dl.acm.org/citation.cfm?id=243846.243857
5. Bartocci, E., Falcone, Y., Francalanza, A., Leucker, M., Reger, G.: An introduction to runtime verification. In: Lectures on Runtime Verification - Introductory and Advanced Topics. LNCS, vol. 10457, pp. 1–23 (2018)