20 citations · 33 across the 6 of their papers we have counts for
6 papers · 1 filter
TRACED: Execution-aware Pre-training for Source Code
Yangruibo Ding, Ben Steenhoek, Kexin Pei +3
Most existing pre-trained language models for source code focus on learning the static code text, typically augmented with static code structures (abstract syntax tree, dependency…
Validating Static Warnings via Testing Code Fragments
Ashwin Kallingal Joshy, Xueyuan Chen, Benjamin Steenhoek +1
Static analysis is an important approach for finding bugs and vulnerabilities in software. However, inspecting and confirming static warnings are challenging and time-consuming. In…
DeepLocalize: Fault Localization for Deep Neural Networks
Mohammad Wardat, Wei Le, Hridesh Rajan
Deep neural networks (DNNs) are becoming an integral part of most software systems. Previous work has shown that DNNs have bugs. Unfortunately, existing debugging techniques do not…
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…
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…
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…