Note: Auto-testing is (partially) possible. Can be done by programmatically checking if elements with roles such as "checkbox" have an aria-checked attribute. However, automatically figuring out if an aria-checked attribute is necessary might require a human tester/AI.