Trey Woodlief

16 papers A* 6A 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
STADA: Specification-based Testing for Autonomous Driving Agents.
CoRR
Joy Saha, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer
2025 A* conf
A Differential Testing Framework to Identify Critical AV Failures Leveraging Arbitrary Inputs.
ICSE
Trey Woodlief, Carl Hildebrandt, Sebastian G. Elbaum
2025 — conf
Closing the Gap Between Sensor Inputs and Driving Properties: A Scene Graph Generator for CARLA.
ICSE Companion
Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer
2025 J jnl
Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems.
Proc. ACM Softw. Eng.
Trey Woodlief, Felipe Toledo, Matthew B. Dwyer, Sebastian G. Elbaum
2025 — conf
Steering the Future: A Catalog of Failures in Deep Learning-Enabled Robotic Navigation Systems.
SIGSOFT FSE Companion
Meriel von Stein, Yili Bai, Trey Woodlief, Sebastian G. Elbaum
2025 J jnl
T4PC: Training Deep Neural Networks for Property Conformance.
IEEE Trans. Software Eng.
Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer
2025 J jnl
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs.
Sci. Comput. Program.
Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer
2024 A conf
ODD-diLLMma: Driving Automation System ODD Compliance Checking using LLMs.
IROS
Carl Hildebrandt, Trey Woodlief, Sebastian G. Elbaum
2024 A* conf
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles.
ICSE
Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer
2024 A* conf
Specifying and Monitoring Safe Driving Properties with Scene Graphs.
ICRA
Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer
2023 A* conf
Generating Realistic and Diverse Tests for LiDAR-Based Perception Systems.
ICSE
Garrett Christian, Trey Woodlief, Sebastian G. Elbaum
2022 — conf
Preparing Software Engineers to Develop Robot Systems.
ICSE (SEET)
Carl Hildebrandt, Meriel von Stein, Trey Woodlief, Sebastian G. Elbaum
2022 A* conf
Semantic Image Fuzzing of AI Perception Systems.
ICSE
Trey Woodlief, Sebastian G. Elbaum, Kevin Sullivan
2021 A* conf
Fuzzing Mobile Robot Environments for Fast Automated Crash Detection.
ICRA
Trey Woodlief, Sebastian G. Elbaum, Kevin Sullivan
2019 — conf
Faster Biclique Mining in Near-Bipartite Graphs.
SEA²
Blair D. Sullivan, Andrew van der Poel, Trey Woodlief
2019 J jnl
Faster Biclique Mining in Near-Bipartite Graphs.
CoRR
Blair D. Sullivan, Andrew van der Poel, Trey Woodlief