I'm afraid that will be pretty hard to accomplish, given that such requirements are not easy to distill from the user interface itself, and impossible to obtain from the codebase (which, by definition, would contain bugs that you'd like to catch).
Perhaps LLMs or a "user interface foundation model" might come in handy to find these implicit requirements, and run tests on the application.