Slide 1Generating Legal Test Inputs for Object-Oriented Programs Adam Kiezun, Shay Artzi, Michael Ernst, Carlos Pacheco, Jeff Perkins MIT Slide 2 Automated Testing ● Goal:…