Registered user since Tue 21 Jun 2022
Name:Rafael Menezes
Country:United Kingdom
Affiliation:University of Manchester
Research interests:Software Model Checking, Automated Reasoning, Test-case generation
Contributions
Using general profile
FSE 2025
Mon 23 - Fri 27 June 2025 Trondheim, Norway
- Attending
- Sponsorship
- Program
- Tracks
- FSE 2025
- Plenary Events
- Social Events
- How to Submit
- Research Papers
- Industry Papers
- Ideas, Visions and Reflections
- Journal First
- Student Research Competition
- Demonstrations
- Posters
- Artifacts
- Doctoral Symposium
- New Faculty Symposium
- Software Engineering Education
- Tutorials
- Student Volunteers
- Industry Mentoring Symposium
- Workshops
- Meetings
- Open Science Policy
- Co-hosted Conferences
- Internetware
- PROMISE
- Workshops
- 2030 Software Engineering
- AI IDE
- AI-SDLC
- BI4LLMC
- CauSE
- DevOpsSustain
- FaSE4Games
- HumanAISE
- Intersectionality and SE
- LLMapp
- LLanMER
- QSE-NE
- ResponsibleSE
- SWGeno
- Organization
- FSE 2025 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- Research Papers
- Industry Papers
- Ideas, Visions and Reflections
- Journal First
- Student Research Competition
- Demonstrations
- Posters
- Artifacts
- Doctoral Symposium
- New Faculty Symposium
- Software Engineering Education
- Tutorials
- Student Volunteers
- Industry Mentoring Symposium
- Workshops
- Contributors
- People Index
- Search
- Series