Metamorphic testing is an approach to both test case generation and test result verification.
A central element is a set of metamorphic relations, which are necessary properties of the …

Automated program repair is the problem of automatically fixing bugs in programs in order to
significantly reduce the debugging costs and improve the software quality. To address this …

Modern information technology paradigms, such as online services and off-the-shelf
products, often involve a wide variety of users with different or even conflicting objectives …

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 …

Software testing aims to assure the quality of software under test. To improve the efficiency
of software testing, especially regression testing, test-case prioritization is proposed to …

Test case prioritization (TCP) attempts to improve fault detection effectiveness by scheduling
the important test cases to be executed earlier, where the importance is determined by some …

Metamorphic testing (MT) can enhance security testing by providing an alternative to using a
test oracle, which is often unavailable or impractical. The authors report how MT detected …

Metamorphic testing is a promising technique for testing software systems when the oracle
problem exists, and has been successfully applied to various application domains and …

Cryptographic hash functions are security-critical algorithms with many practical
applications, notably in digital signatures. Developing an approach to test them can be …

Adaptive random testing (ART) aims at enhancing the testing effectiveness of random testing
(RT) by more evenly spreading test cases over the input domain. Many ART methods have …