Swaroopa presents her research titled Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing at FSE 2023.

Soneya presents her research titled Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned at FSE 2023.

Sebastian and Meriel, organizers of the SE4SafeML: Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components workshop, at FSE 2023. SE4SafeML was the highest attended workshop at the conference with 44 attendees.

Matt discussing whats next with Soneya and Swaroopa at FSE 2023.

Felipe presents his research titled Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities at FSE 2023.

Carl, Trey, and Felipe touring the Insurance Institute for Highway Safety.

Celebrating David successfully defending his Ph.D. dissertation.

Will presenting his work on SMT Selection via Graph Neural Networks at the 2022 Fall CS Research Symposium.

Trey winning most promising research at the 2022 Fall CS Research Symposium.

Carl Hildebrandt welcomes everyone to the research symposium he organized.

Chris presenting his work on Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors at the 2022 Fall CS Research Symposium.

The Lab at ICSE 2022 in Pittsburgh. Congratulations to Matt Dwyer on organizing an amazing conference!

Soneya welcomes attendees to the research symposium that she organized with the Computer Science Graduate Student Group.

One of our first full lab Zoom meetings.

End of year celebrations at a local restaurant.

Trey talking about his current work on identifying and predicting faults in robots.

Professor Elbaum talking to the entire lab.

Mitch giving a talk on some of his previous work on software analysis.

Meriel giving a talk on her current work on invariants.

Carl giving a talk on his recently published work on creating stressful trajectories for robots.

Micheal testing the flamewheel with its GPS overridden from our motion capture system.