Automated validation and testing of application logic