12. The system of claim 7 , wherein the first formal text form representation and the second formal text form representation are encoded as Extensible Markup Language (XML).
7. A system comprising: a processor; a database; and a memory coupled to the processor and the database, the memory storing instructions executable by the processor to: execute a software module to obtain a first reference set of data and store in the database, wherein the first reference set of data is produced by the software module, and wherein the first reference set of data comprising all data produced by the software module at a first time; introduce a change to the software module after the first time to generate a modified software module; execute the modified software module to obtain a second reference set of data and store in the database, wherein the second reference set of data including data related to at least one changed portion of the modified software module is produced by the modified software module at a second time, and wherein the execute at the second time is response to the introduced change; transform the first reference set of data produced by the software module and the second reference set of data produced by the modified software module into a first formal text form representation and a second formal text form representation, respectively; determine a plurality of differences between the first reference set of data produced by the software module and the second reference set of data produced by the modified software module by comparing the first formal text form representation and the second formal text form representation to each other; filter the plurality of differences to obtain a sub-set of the plurality of differences based on at least one filter criteria; map each difference in the sub-set of the plurality of differences to a corresponding portion of the modified software module responsible for the difference to determine at which point in execution of the modified software module the difference occurred; generate a report of the sub-set of plurality of differences, the corresponding mapped portions of the modified software module, and root cause of the sub-set of plurality of differences; wherein the second reference set of data is further used, by the processor, to verify whether a functionality of the modified software module is retained after the introduced change; replace the first reference set of data with the second set of second reference set of data upon verifying that the functionality is retained; and establish the second reference set of data as a new first reference set of data to use in future software module verification.