Luo, L., Piskachev, G., Krishnamurthy, R., Dolby, J., Schäf, M., &; Bodden, E. (2023). Model Generation For Java Frameworks. IEEE International Conference on Software Testing, Verification and Validation (ICST).

Krishnamurthy, R., Piskachev, G., &; Bodden, E. (2022). To what extent can we analyze Kotlin programs using existing Java taint analysis tools?