Shiva Nejati

• Search-Based Software Engineering
• Refinement relations on partial specifications