As a widely-used platform to support various Java-bytecode-based applications, Java Virtual
Machine (JVM) incurs severe performance loss caused by its real-time program …

Context Software has become an innovative solution nowadays for many applications and
methods in science and engineering. Ensuring the quality and correctness of software is …

Motivation The ongoing expansion in the volume of biomedical data has contributed to a
growing complexity in the tools and technologies used in research with an increased …

In this paper, we consider the robust interpretation of metric temporal logic (MTL) formulas
over timed sequences of states. For systems whose states are equipped with nontrivial …

Testing software has a higher level of difficulty because of the variations in users' behaviors,
decreasing time of software development, and the demand for prototypical testing. It …

Software Industry is evolving at a very fast pace since last two decades. Many software
developments, testing and test case generation approaches have evolved in last two …

The anthropomorphization of human-robot interactions is a fundamental aspect of the
design of social robotics applications. This article describes how an interaction model based …

Online Judge platforms play a pivotal role in education, competitive programming,
recruitment, career training, and large language model training. They rely on predefined test …

Problem statement: As a complex logic system, software may suffer from different source of
faults. Those faults can be avoided by applying different testing processes. It appears …

In Embedded Software, the early-stage testing of source code is important since it may
reduce the future development cost. However, at the automotive domain, the conventional …