Predicate callback summaries. - Danilo Dominguez Perez; Wei Le (ICSE (Companion Volume), 2017)

Generating Predicate Callback Summaries for the Android Framework. - Danilo Dominguez Perez; Wei Le (MOBILESoft@ICSE, 2017)

Testing Criteria for Mobile Apps Based on Callback Sequences. - Danilo Dominguez Perez; Wei Le (CoRR, 2019)

Specifying Callback Control Flow of Mobile Apps Using Finite Automata. - Danilo Dominguez Perez; Wei Le (IEEE Trans. Software Eng., 2021)