Nate F. F. Bragg

According to our database, Nate F. F. Bragg authored at least 1 paper in 2021.

Collaborative distances:

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

2021

Program Sketching by Automatically Generating Mocks from Tests.

Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021