AUTOMATICALLY POPULATING SYMPTOM DATABASES FOR SOFTWARE APPLICATIONS

A solution is proposed for populating a symptom collection—such as a symptom database—for a software application. The symptom collection includes an indication of a set of symptoms; each symptom consists of an undesired behavior of the software application, which symptom is due to each one of a set of corresponding problems of the software application (resulting from a misuse thereof). The symptom database also includes an indication of an explanation of each problem. A corresponding method involves performing a test of the software application for verifying a correctness of the software application. The symptom collection is then populated according to a result of the test.