The 71st CREST Open Workshop on Agentic Testing and Verification

Agentic software development is accelerating code creation, review, and deployment, demanding a new generation of testing and verification frameworks. Recent advances leverage language models for test generation, combining mutation, property-based, search-based, fuzzing, and static analysis techniques. The field is also rethinking how tests are generated, integrated into CI, and surfaced to engineers. Verification and automated reasoning are also being transformed with many long-thought-impractical problem-solutions within our reach, if not yet our grasp.  Now is the ideal moment to unite academics and industry experts advancing Agentic Testing and Verification.

All talks at this workshop are by invitation only. Talks will be a maximum of 20 minutes long with plenty of time for questions and discussion. We also hope that the workshop will foster and promote collaboration, and there will be time set aside to support this.

Participants are expected to attend the whole event in person since the workshop is interactive and discursive. There is no registration fee, due to kind support of grant by Meta. Light lunches, will be included, along with the usual refreshments all at no charge.

Policy on Student Registrations

We welcome registrations from PhD students, where the student is pursuing a programme of research for which the COW will provide intellectual benefit and/or from whom the workshop and its other attendees will gain benefit. We do not normally expect to register students other than those on PhD level programmes of study. For example, those students taking a course at the equivalent of UK masters or bachelors level would not, ordinarily, be considered eligible to register for COW. However, we are willing to consider exceptional cases, where a masters or bachelors student has a clear contribution to make to the topic of the COW. In all cases, students must have the approval of their supervisor/advisor for their attendance at the COW and their consent to the terms of registration. This is why we ask that students seeking to register for a COW also supply the contact details of their supervisor.

Cancellation Fee

Please appreciate that numbers are limited and catering needs to be booked in advance, so registration followed by non-attendance will cause difficulties. For this reason, though the workshop is entirely free of charge, there will be a cancellation fee of £100 for those who register but subsequently fail to attend.

Schedule

TBA

Speakers