Title: Mining Specifications in a Changing World: Using a Test Generator Through a Learning Lense
Tao Xie, Co-chair and Co-Director of Research
Madhusudan Parthasarathy, Co-chair and Co-Director of Research
Darko Marinov
Armando Solar-Lezama, MIT
If you wish to attend via zoom, please email Chair or student for Zoom password prior to exam.
