About
The Program
Overview & Mission
Facts and Numbers
Governance
People
Faculty and Researchers
Students
Alumni
Partners
Universities
Industry Affiliates
Industry Partners
Documents and Reports
Education
Overview
Dual Degree Ph.D.
Affiliated Ph.D. Programs
Visiting Students Program
Visiting Faculty and Researchers Program
Admissions and Scholarships
Previous Education Initiatives
Dual Degree M.Sc.
Ph.D. in Applied Mathematics
Ph.D. in Mechanical Engineering
Ph.D. in TCE
Alumni Chapter
FAQ
Research
Overview
Large Scale Collaborative Research Projects
Entrepreneurial Research Initiatives
Exploratory Research Projects
Previous Research Initiatives
Early Bird Projects
Lead Projects
Open Calls for Projects
Publications
Job opportunities
FAQ
Innovation
Overview
inRES
Startups
Media & Events
News
Events
Newsletters
Logo & Identity Standards
Contacts
Menu
About
The Program
Overview & Mission
Facts and Numbers
Governance
People
Faculty and Researchers
Students
Alumni
Partners
Universities
Industry Affiliates
Industry Partners
Documents and Reports
Education
Overview
Dual Degree Ph.D.
Affiliated Ph.D. Programs
Visiting Students Program
Visiting Faculty and Researchers Program
Admissions and Scholarships
Previous Education Initiatives
Dual Degree M.Sc.
Ph.D. in Applied Mathematics
Ph.D. in Mechanical Engineering
Ph.D. in TCE
Alumni Chapter
FAQ
Research
Overview
Large Scale Collaborative Research Projects
Entrepreneurial Research Initiatives
Exploratory Research Projects
Previous Research Initiatives
Early Bird Projects
Lead Projects
Open Calls for Projects
Publications
Job opportunities
FAQ
Innovation
Overview
inRES
Startups
Media & Events
News
Events
Newsletters
Logo & Identity Standards
Contacts
Academy
Search
Search
Close this search box.
CMU Portugal Academy
Menu
About
The Program
Overview & Mission
Facts and Numbers
Governance
People
Faculty and Researchers
Students
Alumni
Partners
Universities
Industry Affiliates
Industry Partners
Documents and Reports
Education
Overview
Dual Degree Ph.D.
Affiliated Ph.D. Programs
Visiting Students Program
Visiting Faculty and Researchers Program
Admissions and Scholarships
Previous Education Initiatives
Dual Degree M.Sc.
Ph.D. in Applied Mathematics
Ph.D. in Mechanical Engineering
Ph.D. in TCE
Alumni Chapter
FAQ
Research
Overview
Large Scale Collaborative Research Projects
Entrepreneurial Research Initiatives
Exploratory Research Projects
Previous Research Initiatives
Early Bird Projects
Lead Projects
Open Calls for Projects
Publications
Job opportunities
FAQ
Innovation
Overview
inRES
Startups
Media & Events
News
Events
Newsletters
Logo & Identity Standards
Contacts
Search
Search
Close this search box.
Menu
About
The Program
Overview & Mission
Facts and Numbers
Governance
People
Faculty and Researchers
Students
Alumni
Partners
Universities
Industry Affiliates
Industry Partners
Documents and Reports
Education
Overview
Dual Degree Ph.D.
Affiliated Ph.D. Programs
Visiting Students Program
Visiting Faculty and Researchers Program
Admissions and Scholarships
Previous Education Initiatives
Dual Degree M.Sc.
Ph.D. in Applied Mathematics
Ph.D. in Mechanical Engineering
Ph.D. in TCE
Alumni Chapter
FAQ
Research
Overview
Large Scale Collaborative Research Projects
Entrepreneurial Research Initiatives
Exploratory Research Projects
Previous Research Initiatives
Early Bird Projects
Lead Projects
Open Calls for Projects
Publications
Job opportunities
FAQ
Innovation
Overview
inRES
Startups
Media & Events
News
Events
Newsletters
Logo & Identity Standards
Contacts
Search
Search
Close this search box.
CMU Portugal Academy
Augmenting Search-based Techniques with Static Synthesis-based Input Generation
Santos P., Campos J., Timperley C., Fonseca A.
ICSE2021
2021
-
Abstract:
We use cookies to ensure that we give you the best experience on our website. By using our website you agree to our Privacy Policy.
Ok
Read more
