Contract Usage and Evolution in Android Mobile Applications

David R. Ferreira,Alexandra Mendes,João F. Ferreira
2024-01-25
Abstract:Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. Previous research has demonstrated the value of contracts in traditional software development contexts. However, the adoption and impact of contracts in the context of mobile application development, particularly of Android applications, remain unexplored.
Software Engineering,Logic in Computer Science,Programming Languages
What problem does this paper attempt to address?