Random testing (RT) is a well-studied testing method that has been widely applied to the
testing of many applications, including embedded software systems, SQL database systems …

Context: As one of key tasks in software testing, test data generation has been receiving
widespread attention in recent years. Message-passing Interface (MPI) programs, which are …

Software Testing depends on the execution of the tested-program against a set of test-inputs
and the comparison of its outputs with the expected ones. The size of the input domain is …

Although empirical studies have confirmed the effectiveness of spectrum-based fault
localisation (SBFL) techniques, their performance may be degraded due to presence of …

Adaptive random testing (ART) subsumes a family of random testing techniques with an
effective improvement. It is based on the observation that failure causing inputs tend to be …

镜像自适应随机测试(Mirror Adaptive Random Testing, MART) 算法将输入空间划分为多个不
相交的相等子域, 源域中使用自适应随机测试(Adaptive Random Testing, ART) …

In this article, a new criterion, domain coverage, for white box testing is introduced. In search
of the biggest subdomains for input variables exercising a given path, the variable domains …

To find equality between software products and artifacts, model-based test (MBT) handles
specific representations of software requirement. When those conclude concurrency and …

This study presents a novel test data generation method called Bayes‐TDG. It is based on
principles of Bayesian networks and provides the possibility of making inference from …

Анотація Мета дослідження–детальне дослідження методу виведення типу під час
автоматичної генерації тестів та їх ефективність, що дасть змогу автоматично …