JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution).

Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Teodors Lisovenko, Luca Olivieri, Pietro Ferrara

Browse the full TACAS paper archive.