Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2204.02541
Cited By
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems
6 April 2022
Josefine B. Graebener
Apurva Badithela
R. Murray
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems"
2 / 2 papers shown
Title
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows
Apurva Badithela
Josefine B. Graebener
Wyatt Ubellacker
Eric V. Mazumdar
Aaron D. Ames
R. Murray
58
3
0
19 Oct 2022
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
Daniel J. Fremont
Edward Kim
Yash Vardhan Pant
Sanjit A. Seshia
Atul Acharya
Xantha Bruso
Paul Wells
Steve Lemke
Q. Lu
Shalin Mehta
141
131
0
17 Mar 2020
1