An empirical investigation of large language models for automated software compliance testing: Evidence from web accessibility | Synapse