Found 4 results
Filters: Author is Ana Rosario Espada [Clear All Filters]
A formal approach to automatically analyse extra-functional properties in mobile applications. Software Testing, Verification and Reliability. :e1699.
.
2019. Analyzing the Correctness of Smartphones Applications using Formal Methods (Doctoral Consortium). Proceedings of the I DC2014.
.
2014. DRAGONFLY : Encapsulating Android for Instrumentation. Proceedings of the XIII PROLE13.
.
2013. A Runtime Verification Framework for android Applications. Proceedings of XXI JCSD.
.
2013.