Hire an Illini
Angello Astorga
- Advisor:
- Tao Xie
- Departments:
- Areas of Expertise:
- Formal Methods
- Software Engineering
- Thesis Title:
- Mining Specifications Modulo a Test Generator via Symbolic Analysis and Learning Algorithms
- Thesis abstract:
- Downloads:
Contact information:
aastorg2@illinois.edu