Biblio

Found 4 results

Filters: Author is Ana Rosario Espada [Clear All Filters]

2019

Espada ARosario, Gallardo M-del-M, Salmeron A, Panizo L, Merino P. 2019. A formal approach to automatically analyse extra-functional properties in mobile applications. Software Testing, Verification and Reliability. :e1699.

2014

Espada ARosario, Gallardo M-del-M. 2014. Analyzing the Correctness of Smartphones Applications using Formal Methods (Doctoral Consortium). Proceedings of the I DC2014.

2013

Espada ARosario, Gallardo M-del-M, Adalid D. 2013. DRAGONFLY : Encapsulating Android for Instrumentation. Proceedings of the XIII PROLE13.

Espada ARosario, Gallardo M-del-M, Adalid D. 2013. A Runtime Verification Framework for android Applications. Proceedings of XXI JCSD.