The Earth is a big place: its radius is about 6400 km. In comparison, the deepest boreholes drilled are about 10 km deep. We thus have little opportunity to take direct measurements or samples inside the Earth: it is mostly inaccessible. And even for the upper 10 km that we can sample, the cost of drilling deep boreholes is very high. This means that inferences about the Earth’s interior are la...

Problem statement: Developing software using graphical interfaces has grown rapidly in recent years. Products developed by, using GUI have to be tested for the reliability and quality of the software. The objective of software testing is to reveal all the errors in the desired software with minimum cost. GUI application comprises of several controls for user interaction and each control has sev...

The evolution of complex distributed software systems often requires intricate composition operations in order to adapt or add functionalities, react to unanticipated changes to security policies, or do performance improvements, which cannot be modularized in terms of existing services or components. They often need controlled access to selected parts of the implementation, e.g., to manage exce...

Deep neural networks, although shown to be a successful class of machine learning algorithms, are known to be extremely unstable to adversarial perturbations. Improving the robustness of neural networks against these attacks is important, especially for security-critical applications. To defend against such attacks, we propose dividing the input image into multiple patches, denoising each patch...

Light-weight formal specifications are used to achieve a better understanding of the desired behavior of a system. The specification must correctly reflect the requirements that were expressed informally to the system being modeled. To validate specifications black-box testing technique had been widely used. Selecting test cases to validate the specification based only on the black-box testing ...

Testing is one of the most natural, intuitive and widely used methods to check the quality of software. One of the emerging and promising techniques for test automation is model-based testing. In model based testing, a model of the desired behavior of the implementation under test (IUT) is the starting point for test generation. In addition, this model serves as the oracle for test result analy...

The evolution of complex distributed software systems often requires intricate composition operations in order to adapt or add functionalities, to react to unanticipated changes, or to apply performance improvements that cannot be modularized in terms of existing services and components. These evolutions often need controlled access to selected parts of the implementation, e.g., to manage excep...

In this paper, we will show the correlation between the notion of implementation relations known from formal methods and ideas of conformance testing. We will show that the implementation relations realized through the practical testing of systems come from a family of parameterized implementation relations. We will also show that for glass box testing, implementation relations parameterized by...