GECCO2021 - hop109 - HOP - Improving Assertion Oracles with Evolutionary Computation
About this video
Advanced · Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceCovers improving assertion oracles with evolutionary computation, teaching automated test oracle generation and software-quality assurance. GECCO talk demonstrates program-verification technique.
A 7-minute video from Association for Computing Machinery (ACM): “GECCO2021 - hop109 - HOP - Improving Assertion Oracles with Evolutionary Computation”.
Video by Association for Computing Machinery (ACM), played through YouTube's embedded player.