Andrea Atzeni, Andrea Marcelli, Francesco Muroni, Giovanni Squillero (2017) HAIT: Heap Analyzer with Input Tracing, In: Proceedings of the 14th International Joint Conference on e-Business and Telecommunications - Volume 6: SECRYPT, pp. 327-334, ISBN: 978-989-758-259-2