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 …

The NIST post-quantum cryptography (PQC) standardization project is probably the largest
and most ambitious cryptography standardization effort to date, and as such it makes an …

Automated machine translation software and services have become widely available and
increasingly popular. Due to the complexity and flexibility of natural languages, automated …

Concurrent programs are normally composed of multiple concurrent threads sharing
memory space. These threads are often interleaved, which may lead to some non …

Metamorphic testing is well known for its ability to alleviate the oracle problem in software
testing. The main idea ofmetamorphic testing is to test a software system by checking …

With the rapid progress of remote sensing (RS) observation technologies, cross-modal RS
image-sound retrieval has attracted some attention in recent years. However, these methods …

Cryptography was introduced to prevent a third party from accessing and learning the
contents of private messages sent during a communication process. Quantum Cryptography …

We propose a robustness testing approach for software systems that process large amounts
of data. Our method uses metamorphic relations to check software output for erroneous input …

Context: Chess engines are computer programs that analyse chess positions. The goal of
this analysis is to decide which player has an advantage and evaluate how big the …