In a world where low-code and no-code tools mean that pretty much anyone can build an app, most software is still inherently buggy. Much of it is rewritten repeatedly and hard to maintain, even though ...