Context: Software testing is applied to validate the behaviour of the software system and
identify flaws and bugs. Different machine learning technique types such as supervised and …

Model transformations are the key technique in Model-Driven Engineering (MDE) to
manipulate and construct models. As a consequence, the correctness of software systems …

As quantum computing is still in its infancy, there is an inherent lack of knowledge and
technology to test a quantum program properly. In the classical realm, mutation testing has …

There is an inherent lack of knowledge and technology to test a quantum program properly.
In this paper, building on the definition of syntactically equivalent quantum operations, we …

Autonomous Driving Systems (ADSs) are promising, but must show they are secure and
trustworthy before adoption. Simulation-based testing is a widely adopted approach, where …

Deep neural networks (DNNs) have been increasingly adopted in various applications.
Systematic verification and validation are essential techniques to guarantee the quality of …

Software Testing (ST) is vital for software development to check the degree to which it meets
client's prerequisites, watch the errors or bugs in the software code and find a way to correct …

Regression testing is an essential and expensive process in software testing. However,
there may be insufficient resources for the execution of all test cases during regression …

Performance testing adalah proses pengujian perangkat lunak yang digunakan untuk
menguji kecepatan, waktu respons, stabilitas, keandalan, skalabilitas, dan penggunaan …

Handling failures in computer vision systems that rely on deep learning models remains a
challenge. While an increasing number of methods for bug identification and correction are …