S
Sebastian Elbaum
Researcher at University of Virginia
Publications - 209
Citations - 9610
Sebastian Elbaum is an academic researcher from University of Virginia. The author has contributed to research in topics: Test suite & Regression testing. The author has an hindex of 44, co-authored 199 publications receiving 8704 citations. Previous affiliations of Sebastian Elbaum include Lincoln University (Pennsylvania) & University of Idaho.
Papers
More filters
Journal ArticleDOI
The State of ICSE
TL;DR: In this article, a short reflection about my four years as steering committee chair, some highlights of the upcoming ICSE operational guidelines, and a quick update on the next ICSEs are discussed.
Posted Content
A Language for Autonomous Vehicles Testing Oracles.
TL;DR: A domain specific language is proposed that enables defining oracles independent of the AV solutions and the simulator and which can encode safety, liveness, timeliness and temporal properties in this language.
Patent
Semantic source code searching
TL;DR: In this paper, a first specification that identifies program code behavior associated with a plurality of documents is presented, where the specification includes an input-output pair with a first data entity and a second data entity.
Posted Content
DNNV: A Framework for Deep Neural Network Verification
TL;DR: In this paper, the authors present DNNV, a framework for reducing the burden on DNN verifier researchers, developers, and users by standardizing input and output formats, including a simple yet expressive DSL for specifying DNN properties.
Proceedings ArticleDOI
Mimicking Real Forces on a Drone Through a Haptic Suit to Enable Cost-Effective Validation
TL;DR: In this paper , a haptic suit device with directional propellers is mounted on a drone and a synthesizer is used to transform intended forces into setpoints for the suit's directional propeller.