5 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.SE2022★ 5 cited
SA4U: Practical Static Analysis for Unit Type Error Detection
Max Taylor, Johnathon Aurand, Feng Qin +3
Unit type errors, where values with physical unit types (e.g., meters, hours) are used incorrectly in a computation, are common in today's unmanned aerial system (UAS) firmware. Re…
cs.SE2020★ 1 cited
Deep Learning & Software Engineering: State of Research and Future Directions
Prem Devanbu, Matthew Dwyer, Sebastian Elbaum +6
Given the current transformative potential of research that sits at the intersection of Deep Learning (DL) and Software Engineering (SE), an NSF-sponsored community workshop was co…