This study aims to identify the most effective input parameters for performance modelling of
container-based web systems. We introduce a method using queueing Petri nets to model …

Computer systems that allow multithreaded execution of applications have become
extremely common, even small portable devices operate in multithreaded mode. This is …

Implementing bug-free concurrent programs is a challenging task in modern software
development. State-of-the-art static analyses find hundreds of concurrency bugs in …

Airborne health management systems prevent functional failure caused by errors or faults in
airborne software. The on-the-fly repairing of atomicity violations in ARINC 653 concurrent …

Software testing is a widely used quality assurance activity and often starts from the early
development stages. However, starting early in the development process raises difficulties …

Many existing refactoring tools reduce the possibility of lock conflicts and improve the
concurrency of the system by reducing lock granularity and narrowing the scope of locked …

Testing to detect on-the-fly concurrency errors, such as atomicity violations caused by
multiple shared variables, in a multi-threaded program is challenging because of the need to …

Atomicity violation bugs are a frequent problem in concurrency. Because of the
unpredictable nature of thread interleaving, most current methods are unable to differentiate …

Thanks to the recent breakthroughs in deep learning (DL) methods and ever-increasing
computation power, nowadays DL models are being increasingly applied to all kinds of …

Nowadays, one does not need to be a professional to build IT systems. Such systems may
offer expected functionalities, but they are often insufficiently tested. Lack of testing results in …