Trey Woodlief
Scholar

Trey Woodlief

Google Scholar ID: HKheGDcAAAAJ
William & Mary
autonomous system safetyroboticssoftware engineering
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
73
 
H-index
5
 
i10-index
3
 
Publications
16
 
Co-authors
7
list available
Publications
3 items
NeuroSTAR: Automata-guided Neuro-symbolic Specification Formalization
2026
Cited
0
CoCoMUT: A Tool for Code-Context Mining and Automated Dataset Generation
2026
Cited
0
STADA: Specification-based Testing for Autonomous Driving Agents
2026
Cited
0
Co-authors
3 total
Sebastian Elbaum
Sebastian Elbaum
Professor of Computer Science, University of Virginia
Matthew Dwyer
Matthew Dwyer
Thomson Distinguished Professor, University of Virginia; Amazon Scholar
Blair D. Sullivan
Blair D. Sullivan
School of Computing, University of Utah