Testing is a crucial part of the software development life cycle that necessitates adequate techniques and tools. On the one hand, unit testing techniques are particularly easy and lightweight to use but are restricted to testing the external behaviour of a program. On the other hand, testing techniques that use property-driven models of the software are able to test behavioural properties of t...

Symbolic execution is a classical program analysis technique, widely used for program testing and bug finding. In this work we generalize symbolic execution to support program analysis for relational properties, namely properties about two programs, or about two executions of a single program on different inputs. We design a relational symbolic execution engine, named RelSym, which supports tes...

BACKGROUND program for phonological remediation in developmental dyslexia. AIM to verify the efficacy of a program for phonological remediation in students with developmental dyslexia. Specific goals of this study involved the comparison of the linguistic-cognitive performance of students with developmental dyslexia with that of students considered good readers; to compare the results obtaine...

Regression testing is used to validate the correctness of upgrades version of any program or software. The newly introduced features in the system under test are compared with the existing versions which determine the proper implementation of regression testing. The verification is done in a way that the modification made in the SUT does not interfere with the existing features, in this paper t...