19 citations · 46 across the 8 of their papers we have counts for
9 papers
Using Dynamic Binary Instrumentation to Detect Failures in Robotics Software
Deborah S. Katz, Christopher S. Timperley, Claire Le Goues
Autonomous and Robotics Systems (ARSs) are widespread, complex, and increasingly coming into contact with the public. Many of these systems are safety-critical, and it is vital to…
Augmenting Decompiler Output with Learned Variable Names and Types
Qibin Chen, Jeremy Lacomis, Edward J. Schwartz +3
A common tool used by security professionals for reverse-engineering binaries found in the wild is the decompiler. A decompiler attempts to reverse compilation, transforming a bina…
GzScenic: Automatic Scene Generation for Gazebo Simulator
Afsoon Afzal, Claire Le Goues, Christopher S. Timperley
Testing robotic and cyberphysical systems in simulation require specifications of the simulated environments (i.e., scenes). The Scenic domain-specific language provides a high-lev…
An Empirical Study of OSS-Fuzz Bugs
Zhen Yu Ding, Claire Le Goues
Continuous fuzzing is an increasingly popular technique for automated quality and security assurance. Google maintains OSS-Fuzz: a continuous fuzzing service for open source softwa…
SOAR: A Synthesis Approach for Data Science API Refactoring
Ansong Ni, Daniel Ramos, Aidan Yang +4
With the growth of the open-source data science community, both the number of data science libraries and the number of versions for the same library are increasing rapidly. To matc…
A Study on the Challenges of Using Robotics Simulators for Testing
Afsoon Afzal, Deborah S. Katz, Claire Le Goues +1
Robotics simulation plays an important role in the design, development, and verification and validation of robotic systems. Recent studies have shown that simulation may be used as…