Absence of test oracles is the grand challenge for testing complex scientific software. Metamorphic testing is the novel technique for developing test oracles on metamorphic relations. Although it is easy to find metamorphic relations based on general guidelines and domain knowledge, the ones that can adequately test the software are difficult to be developed. This paper introduces a machine le...

southern Omineca Belt, fieldwork was undertaken in 1987 to examine the geology of the Eagle River fault in the eastem Shuswap Highland. The Eagle River fault is a west-sidedown low-angle normal fault that juxtaposes low to mediumgrade metasedimentary and metavolcanic rocks of the Paleozoic Mount Ida Group atop high-grade gneisses of the Shuswap metamorphic complex (Figure 1-4-1 inset). Regional...

dehsalm metamorphic complex located in east of iran consists of regionally metamorphosed rocks intruded by three phases of granitic masses. synkinematic porphyroblasts of garnet from staurolite-garnet schist present well preserved growth zoning. electron microprobe analysis of selected garnets was carried out to interpret the origin and pattern of zoning in amphibolite facies garnets and its im...

Matrices often represent important information in scientific applications and are involved in performing complex calculations. But systematically testing these applications is hard due to the oracle problem. Metamorphic testing is an effective approach to test such applications because it uses metamorphic relations to determine whether test cases have passed or failed. Metamorphic relations are...

Soursat Metamorphic Complex (SMC) in west of Takab city is one of the polyphase metamorphic terrenes in northern Sanandaj-Sirjan metamorphic belt of Iran. The SMC composed mainly of metasedimentary rocks associated with granitic intrusions. Based on metamorphic rocks, two metamorphic phases could be separate in the complex. M1 is representative of regional metamorphisms which varies from greens...