3 papers
cs.SE2019
Testing Criteria for Mobile Apps Based on Callback Sequences
Danilo Dominguez Perez, Wei Le
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 structural and GUI tes…
cs.SE2019
Invariant Diffs
Ashwin Kallingal Joshy, Wei Le
Software development is inherently incremental. Nowadays, many software companies adopt an agile process and a shorter release cycle, where software needs to be delivered faster wi…
cs.SE2017
Generating Predicate Callback Summaries for the Android Framework
Danilo Dominguez Perez, 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 code. However, bugs, vu…