Abstract: The claimed matter provides systems and/or methods that actuate and/or facilitate declarative testing of software applications. The system can include devices that receive or elicit declarative definitions of testing scenarios and employs the declarative definitions to test a software application under consideration. Further, the system also compares the supplied declarative definitions with the results obtained from execution of the declarative definition. Where dissimilarity is observed the differences are persisted and the differences so persisted utilized as subsequent declarative definitions in order to iterate to a goal set forth in the declarative definition. In particular, the claimed matter can commence with a declarative answer, focus on a multiplicity of possible scenarios rather than the numerous operations needed to attain these scenarios, and utilize the differences obtained from execution of the declarative answer in order to simplify verification of software products.