Research: AI and Software Verification/Validation

I’m Guilherme Bolfe, and I recently started my Master’s in Software Engineering.

I’m conducting a research study to understand how Artificial Intelligence (AI) and Language Models (LLMs) are being used to support software Verification and Validation (V&V) activities — both in industry and in academic proof-of-concepts.

* If you work in software development, testing, quality assurance, or related fields, your experience could greatly help us map:

* Tools already in use

* Perceived benefits (productivity, quality, time savings, etc.)

* Challenges and limitations encountered

* How you see the future of AI in V&V

The survey is quick (5–10 min), completely anonymous, and your answers are confidential:

[Take the survey] https://forms.gle/XCxpzt6Par4XHR37A

I really appreciate your time and help Feel free to share this with colleagues in the field — it makes a huge difference!