35 citations · 76 across the 10 of their papers we have counts for
3 papers · 1 filter
Probabilistic Conditional System Invariant Generation with Bayesian Inference
Meriel Stein, Sebastian Elbaum, Lu Feng +1
Invariants are a set of properties over program attributes that are expected to be true during the execution of a program. Since developing those invariants manually can be costly…
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…
A Language for Autonomous Vehicles Testing Oracles
Ana Nora Evans, Mary Lou Soffa, Sebastian Elbaum
Testing autonomous vehicles (AVs) requires complex oracles to determine if the AVs behavior conforms with specifications and humans' expectations. Available open source oracles are…