Fuzzing has achieved tremendous success in discovering bugs and vulnerabilities in
various software systems. Systems under test (SUTs) that take in programming or formal …

Fuzzing has achieved tremendous success in discovering bugs and vulnerabilities in
various software systems. Systems under test (SUTs) that take in programming or formal …

Context: Quantum computing is becoming a reality, and quantum software engineering
(QSE) is emerging as a new discipline to enable developers to design and develop quantum …

As quantum computers evolve, so does the complexity of the software that they can run. To
make this software efficient, maintainable, reusable, and cost-effective, quality attributes that …

As quantum computing is rising in popularity, the amount of quantum programs and the
number of developers writing them are increasing rapidly. Unfortunately, writing correct …

The recent fast development of quantum computers breaks several computation limitations
that are difficult for conventional computers. Up to the present, although many approaches …

The Multi-Agent Path Finding (MAPF) problem, ie, the scheduling of multiple agents to reach
their destinations, has been widely investigated. Testing MAPF systems is challenging, due …

Quantum Computing (QC) promises computational speedup over classic computing for
solving some complex problems. However, noise exists in current and near-term quantum …

Metamorphic testing, thanks to its high failure-detection effectiveness especially in the
absence of test oracle, has been widely applied in both the traditional context of software …

When a bug is detected by testing a quantum program on a quantum computer, we want to
determine its location to fix it. To locate the bug, the quantum program is divided into several …