King's College London presented at FoSSaCS 2026 - 29th International Conference on Foundations of Software Science and Computation Structures (ETAPS) in Turin, Italy (12–16 Apr 2026).
Why we were there: Automatic test-case generation methods for quality assurance covering specific fault domains.
What we said: Quality assurance, testig, automated test-case and scenario generation with proven fault coverage, focussing on quantitative aspect of software such as energy consumption, timing, and reliability.
Audience: Academia, Industry.
Contribution: Talk.
King's College London