Danilo Dominguez Perez

According to our database¹, Danilo Dominguez Perez authored at least 4 papers between 2017 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

Specifying Callback Control Flow of Mobile Apps Using Finite Automata.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

2019

Testing Criteria for Mobile Apps Based on Callback Sequences.

[BibT_eX]

[DOI]

CoRR, 2019

2017

Generating Predicate Callback Summaries for the Android Framework.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2017

Predicate callback summaries.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017