2 papers
cs.SE2020
CAT: Change-focused Android GUI Testing
Chao Peng, Ajitha Rajan
Android Apps are frequently updated, every couple of weeks, to keep up with changing user, hardware and business demands. Correctness of App updates is checked through extensive te…
cs.SE2019
SIF: A Framework for Solidity Code Instrumentation and Analysis
Chao Peng, Sefa Akca, Ajitha Rajan
Solidity is an object-oriented and high-level language for writing smart contracts that are used to execute, verify and enforce credible transactions on permissionless blockchains.…