This paper studies the situation in which the system under test and the system model are distributed and have the same structure; they have corresponding remote components that communicate asynchronously. In testing, a component with interface Ci has its own local tester that interacts with Ci and this local tester observes a local trace consisting of inputs, outputs and durations as perceived ...

The characterisation of 85 rear-line-contacted silicon concentrator solar cells on one single wafer requires a fast, automated measurement system. In this paper an easy to use needle array measurement system is presented, which allows an automated sequential measurement of dark and light IV curves of all cells on one wafer. For acquiring IV curves under high illumination levels (up to 500 suns)...

Background: High protein content with good quality maize is likely to gain wider acceptance if hybrids are produced that have agronomic performance similar normal and retain an enhanced nutritional quality. Thus, attempt was made develop for the benefit of different sections society depending on maize. Methods: During Rabi season 2016-17 (hybrids were obtained crossing ten inbred lines four tes...

The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test (IUT) from producing outputs, while the IUT does not block inputs from the tester, either. Thus, input from the tester and output from the IUT may occur simultaneously and should be queued in finite buffers between th...