Hire an Illini

Angello Astorga

• Advisor:
  • Tao Xie
• Departments:
  • Computer Science
• 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