Search Results - "Domínguez Perez, Danilo"

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Specifying Callback Control Flow of Mobile Apps Using Finite Automata

    Specifying Callback Control Flow of Mobile Apps Using Finite Automata by Perez, Danilo Dominguez, Le, Wei

    Published in IEEE transactions on software engineering (01-02-2021)
    “…Given the event-driven and framework-based architecture of Android apps, finding the ordering of callbacks executed by the framework remains a problem that…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Toward Safer Pregnancies: Usability evaluation of a prototype application for monitoring and controlling hypertensive disorders in pregnancy

    Toward Safer Pregnancies: Usability evaluation of a prototype application for monitoring and controlling hypertensive disorders in pregnancy by Nielsen Pimentel, Mel Imanol, Villarreal, Vladimir, Muñoz Arracera, Lilia Esther, González Gómez, Joseph Antony, Domínguez Perez, Danilo

    Published in Revista ingeniería solidaria (30-12-2023)
    “…Introduction: Hypertensive disorders in pregnancy pose global health challenges. Maternal mortality rates in Panama due to preeclampsia and eclampsia have…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Generating Predicate Callback Summaries for the Android Framework

    Generating Predicate Callback Summaries for the Android Framework by Dominguez Perez, Danilo, Wei Le

    “…One of the challenges of analyzing, testing and debugging Android apps is that the potential execution orders of callbacks are missing from the apps' source…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Predicate Callback Summaries

    Predicate Callback Summaries by Dominguez Perez, Danilo, Wei Le

    “…One of the challenges to analyze, test and debug Android apps is that the potential execution orders of callbacks are missing from the apps' source code,…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    The Construction and Applications of Callback Control Flow Graphs for Event-driven and Framework-based Mobile Apps

    The Construction and Applications of Callback Control Flow Graphs for Event-driven and Framework-based Mobile Apps by Dominguez Perez, Danilo

    Published 01-01-2019
    “…Mobile devices have become ubiquitous over the last years. Android, as the leading platform in the mobile ecosystem, have over 2.5 million apps published in…”
    Get full text
    Dissertation
    Save to List
    Saved in:
  6. 6
    Testing Criteria for Mobile Apps Based on Callback Sequences

    Testing Criteria for Mobile Apps Based on Callback Sequences by Perez, Danilo Dominguez, Le, Wei

    Published 20-11-2019
    “…App quality has been shown to be the most important indicator of app adoption. To assure quality, developers mainly use testing to find bugs in app and apply…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  7. 7
    Generating Predicate Callback Summaries for the Android Framework

    Generating Predicate Callback Summaries for the Android Framework by Perez, Danilo Dominguez, Le, Wei

    Published 26-03-2017
    “…One of the challenges of analyzing, testing and debugging Android apps is that the potential execution orders of callbacks are missing from the apps' source…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: