19 citations · 40 across the 10 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
User-driven Design and Evaluation of Liquid Types in Java
Catarina Gamboa, Paulo Alexandre Santos, Christopher S. Timperley +1
Bugs that are detected earlier during the development lifecycle are easier and cheaper to fix, whereas bugs that are found during production are difficult and expensive to address,…
cs.RO2021★ 3 cited
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…