Tag: ui

Testing UI at the Seam: Programmable Verification Without the Full Stack