Employing different program analysis methods to study bug evolution. - Charalambos Mitropoulos (ESEC/SIGSOFT FSE, 2019)

Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers. - Stefanos Chaliasos; Thodoris Sotiropoulos; Georgios-Petros Drosos; Charalambos Mitropoulos; Dimitris Mitropoulos; Diomidis Spinellis (Proc. ACM Program. Lang., 2021)

Artifact: Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers. - Stefanos Chaliasos; Thodoris Sotiropoulos; Georgios-Petros Drosos; Charalambos Mitropoulos; Dimitris Mitropoulos; Diomidis Spinellis (Zenodo, 2021)

Syntax-Aware Mutation for Testing the Solidity Compiler. - Charalambos Mitropoulos; Thodoris Sotiropoulos; Sotiris Ioannidis; Dimitris Mitropoulos (ESORICS (3), 2023)

Broken Agreement: The Evolution of Solidity Error Handling. - Charalambos Mitropoulos; Maria Kechagia; Chrysostomos Maschas; Sotirios Ioannidis; Federica Sarro; Dimitrios Mitropoulos (ESEM, 2024)

Charting The Evolution of Solidity Error Handling. - Charalambos Mitropoulos; Maria Kechagia; Chrysostomos Maschas; Sotiris Ioannidis; Federica Sarro; Dimitris Mitropoulos (CoRR, 2024)