Have you looked into model checking with TLA+? It allows you to exhaustively check that assertions are not violated by an abstract model. This won't help you t

Have you looked into model checking with TLA+? It allows you to exhaustively check that assertions are not violated by an abstract model. This won't help you test UI code directly but it's a great way to make sure your system's core concepts works. https://www.hillelwayne.com/post/tla-messages/ https://www.hillelwayne.com/post/tla-messages/ is a good article for getting a sense of what TLA+ is about.