Lightweight Static Analysis for GUI Testing | Publicación