This chapter presents principles and techniques for modelbased black-box conformance testing of real-time systems using the Uppaal model-checking tool-suite. The basis for testing is given as a network of concurrent timed automata specified by the test engineer. Relativized input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking envi...

We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows perturbing the inputs observing perturbed outputs both in time- value-domains. instantiate our definition using existing notions conformance systems. As formal basis monitoring conformance-based cleanness, we develop temporal logic HyperSTL*, an extension Signal Temporal Logics with trace quanti...

Most prior work on specification-based testing of concurrent programs have postulated an equivalence relation between specifications and programs. However, the equivalence relation, which requires a specification and a program to encompass the same set of synchronization sequences, is not well-suited for testing concurrent programs against partial and nondeterministic specifications. In this pa...

sucrose is applied as an efficient catalyst for the three-component reaction consisting of aromatic aldehydes, malononitrile and resorcinol in a mixture of water and ethanol media as green solvents. the advantages of this method are excellent yeild, inexpensive catalyst and more environmentally friendly. mechanistic insight into the synthesis of 2-amino-4h-chromene included spectral kinetics ap...

Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol specifications. Although a practical case study of web-server testing has been conducted, we observed several issues when applying this method in a large industrial project. In this paper, we discuss the foundations, tec...