ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation.

Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro

Browse the full ISSTA paper archive.