The Himalayan range exposes a spectacular assemblage of metamorphic rocks from the midand deep crust that have fostered numerous models of how the crust responds to continental collisions. Recent petrogenetically based petrologic and geochronologic studies elucidate processes with unprecedented resolution and critically test models that range from continuum processes to one-time events. The pro...

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...

Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different executions of the program under test, called metamorphic relations. In a recent survey, we observed a great variability in the way metamorphic relations are described, typically in an informal manner using natural language. We noticed that the lack of a standard mechanism...

Where plates converge, one-sided subduction generates two contrasting thermal environments in the subduction zone (low dT/dP) and in the arc and subduction zone backarc or orogenic hinterland (high dT/dP). This duality of thermal regimes is the hallmark of modern plate tectonics, which is imprinted in the ancient rock record as penecontemporaneous metamorphic belts of two contrasting types, one...

In this study, we report mineralogical features of post-metamorphic K-metasomatic assemblage high-grade metapelites from Guwahati, the northern extension central part Shillong Plateau, NE India. Several reaction textures metasomatic are shown and they offer clues for relevant reactions modification pre-metasomatic metapelites. Two sets mineral recognized, which include, alteration high-temperat...

There are two fundamental limitations in software testing, known as the reliable test set problem and the oracle problem. Fault-based testing is an attempt by Morell to alleviate the reliable test set problem. In this paper, we propose to enhance fault-based testing to alleviate the oracle problem as well. We present an integrated method that combines metamorphic testing with fault-based testin...

Study of the concentration and isotopic composition of strontium and rubidium in hornblende diorite dikes and sills of Precambrian age from the Panamint Mountains of California showed that these rock systems were enriched in radiogenic Sr during a late Mesozoic metamorphism. Enrichments in radiogenic Sr were observed for total-rock samples which yielded apparent ages of up to 34,000 m.y., altho...