3 citations · 6 across the 3 of their papers we have counts for
4 papers
Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities
Xin Du, Benedicte Legastelois, Bhargavi Ganesh +5
Using large pre-trained models for image recognition tasks is becoming increasingly common owing to the well acknowledged success of recent models like vision transformers and othe…
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…
M3: Semantic API Migrations
Bruce Collie, Philip Ginsbach, Jackson Woodruff +2
Library migration is a challenging problem, where most existing approaches rely on prior knowledge. This can be, for example, information derived from changelogs or statistical mod…
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.…