A Graph-based Theory to Analyze App Soundness PropertiesPublished in Under Progress, 2021Download paper hereShare on Twitter Facebook LinkedIn Previous Next