Alert button

DroidStar: Callback Typestates for Android Classes

Mar 02, 2018
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Černý

Figure 1 for DroidStar: Callback Typestates for Android Classes
Figure 2 for DroidStar: Callback Typestates for Android Classes
Figure 3 for DroidStar: Callback Typestates for Android Classes
Figure 4 for DroidStar: Callback Typestates for Android Classes

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: