Trey Woodlief

According to our database, Trey Woodlief authored at least 16 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

STADA: Specification-based Testing for Autonomous Driving Agents.

Joy Saha, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer

CoRR, March, 2026

2025

T4PC: Training Deep Neural Networks for Property Conformance.

Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer

IEEE Trans. Software Eng., October, 2025

The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs.

Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer

Sci. Comput. Program., 2025

Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems.

Trey Woodlief, Felipe Toledo, Matthew B. Dwyer, Sebastian G. Elbaum

Proc. ACM Softw. Eng., 2025

Steering the Future: A Catalog of Failures in Deep Learning-Enabled Robotic Navigation Systems.

Meriel von Stein, Yili Bai, Trey Woodlief, Sebastian G. Elbaum

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025

Closing the Gap Between Sensor Inputs and Driving Properties: A Scene Graph Generator for CARLA.

Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

A Differential Testing Framework to Identify Critical AV Failures Leveraging Arbitrary Inputs.

Trey Woodlief, Carl Hildebrandt, Sebastian G. Elbaum

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

Specifying and Monitoring Safe Driving Properties with Scene Graphs.

Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew Dwyer

Dataset, May, 2024

ODD-diLLMma: Driving Automation System ODD Compliance Checking using LLMs.

Carl Hildebrandt, Trey Woodlief, Sebastian G. Elbaum

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024

S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles.

Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Specifying and Monitoring Safe Driving Properties with Scene Graphs.

Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

2023

Generating Realistic and Diverse Tests for LiDAR-Based Perception Systems.

Garrett Christian, Trey Woodlief, Sebastian G. Elbaum

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Semantic Image Fuzzing of AI Perception Systems.

Trey Woodlief, Sebastian G. Elbaum, Kevin Sullivan

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Preparing Software Engineers to Develop Robot Systems.

Carl Hildebrandt, Meriel von Stein, Trey Woodlief, Sebastian G. Elbaum

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2022

2021

Fuzzing Mobile Robot Environments for Fast Automated Crash Detection.

Trey Woodlief, Sebastian G. Elbaum, Kevin Sullivan

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2019

Faster Biclique Mining in Near-Bipartite Graphs.

Blair D. Sullivan, Andrew van der Poel, Trey Woodlief

Proceedings of the Analysis of Experimental Algorithms - Special Event, 2019