14 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.SE2015★ 14 cited
Using Model Checking to Generate Test Cases for Android Applications
Ana Rosario Espada, María del Mar Gallardo, Alberto Salmerón +1
The behavior of mobile devices is highly non deterministic and barely predictable due to the interaction of the user with its applications. In consequence, analyzing the correctnes…
cs.SE2006
Static Analysis using Parameterised Boolean Equation Systems
María Del Mar Gallardo, Christophe Joubert, Pedro Merino
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex…