Studying contract usage in Android mobile applications - David Regatia Ferreira (2023)