Caroline Lemieux
Assistant Professor
Research Classification
Research Interests
help developers improve the correctness, security, and performance of software systems
test-input generation
specification mining
program synthesis
Relevant Thesis-Based Degree Programs
听
听
听
听
If this is your researcher profile you can log in to the portal to update your details and provide recruitment preferences.
听
听