We study the effect of applying metamorphic testing to alleviate the oracle problem for numerical programs. We discuss a case study on the testing of a program that solves an elliptic partial differential equation with Dirichlet boundary conditions. We identify a metamorphic relation for the equation and demonstrate the effectiveness of metamorphic testing in identifying the error. The relation...

the borujerd complex of western iran is composed of intrusions and their surrounding contact aureole, with, pegmatites and quartz veins. pegmatites differ in mineralogy, origin and age, and two groups can be distinguished. the older pegmatites (about 120 ma age) intruded contact metamorphic rocks from the early magmatic stage, while the younger pegmatites (52-70 ma age) formed during the late m...

Raman-based geobarometry has recently become increasingly popular because it is an elegant way to obtain information on peak metamorphic conditions or the entire pressure-temperature-time (P-T-t) path of metamorphic rocks, especially those formed under ultrahigh-pressure (UHP) conditions. However, several problems need to be solved to get reliable estimates of metamorphic conditions. In this pa...

The Muteh gold deposit (NE of Golpaygan) in the central part of intrusive-metamorphic belt of Sanandaj-Sirjan zone comprises NW-SE trending gold-quartz vein occurred in metamorphic complex. Gold mineralization is associated with quartz veins that formed during regional deformation across the mylonitic zones in metamorphic rocks of predominantly meta-volcanic, gneiss and schist. The sulfidation ...

Buchitic glassy rocks appear within the skarn of contact metamorphic aureole of Feshark intrusive complex situated 30 km northeast of Isfahan. Intrusive complex is a multistage intrusion . Noritic gabbro is the first inttrusion which is invaded later on by a granitic melt. Granitic melt has metasomatically altered the gabbro and as a consequence a suite of hybrid rocks like monzogabbro, m...

Metamorphic testing is a well known approach to tackle the oracle problem in software testing. This technique requires the use of source test cases that serve as seeds for the generation of follow-up test cases. Systematic design of test cases is crucial for the test quality. Thus, source test case generation strategy can make a big impact on the fault detection effectiveness of metamorphic tes...

Subduction erosion is widely thought to play a significant role in crustal recycling at modern convergent plate margins. However, identifying subduction fossil accretionary margins difficult due multiple episodes of tectonic superimposition and an absence direct geophysical evidence. By assessing provenance metamorphic records this study, we are the first document record Late Triassic Middle Ju...