New research paper to be presented at ECOOP 2025

The VeriFixer team will present a new research paper this summer at ECOOP 2025, a leading international conference in programming languages and software engineering.

At ECOOP 2025, we will present Contract Usage and Evolution in Android Mobile Applications, the first large-scale empirical study on the use and evolution of design-by-contract constructs in Android apps written in Java and Kotlin. Although focused on mobile software, this research provides valuable insights into how contracts evolve over time, the risks of unsafe specification changes, and the importance of annotations and language-level features for promoting software correctness—insights that inform VeriFixer’s mission of improving software reliability through intelligent verification and fixing.

This paper reflects VeriFixer’s commitment to building a principled and practical foundation for reliable software systems. We are excited to share our findings with the community and look forward to engaging discussions at ECOOP 2025!