This paper considers how to enumerate the basic set of all the non-isomorphic configurations of a planar metamorphic robotic system. Metamorphic robotic systems are being widely studied because their shape changing abilities make them potentially useful for a larger set of tasks that conventional robotic systems are unable to develop, for example reconnaissance, exploration, satellite recovery,...

Software testing is one of phases in software engineering process that has a very important role to determine the quality of software under test. In software testing, after generating and selecting test cases, and executing them, the outputs need to be checked against a test oracle to determine whether any failures detected or not. Oracle problem is one of the biggest problems in Software testi...

a r t i c l e i n f o Keywords: Eclogite HP granulite Paired metamorphic belts UHPM UHTM The modern plate tectonics regime is characterized by a duality of thermal environments, one representing the subduction zone and the other representing the arc–backarc or orogenic hinterland. This duality is the hallmark of one-sided (asymmetric) subduction, and the characteristic imprint of one-sided subd...

In situ LA-MC-ICP-MS U-Pb zircon geochronology combined with cathodoluminescence imaging were carried out to determine protolith and metamorphic ages of orthogneisses from the Western Tatra Mountains (Central Western Carpathians). The metamorphic complex is subdivided into two units (the Lower Unit and the Upper Unit). Orthogneisses of the Lower Unit are mostly banded, fine- to medium-grained r...

Metamorphic testing, an innovative software testing technique, generates test cases based on domain specific properties. Model checking is a technique that verifies software designs against system properties. Motivated by the fact that both techniques are based on some properties of software under development, we investigate how to integrate metamorphic testing and model checking. This paper wi...