Testing helps in preserving the quality and reliability of the software component thus ensuring its successful functioning. The task of testing components for which the final output for arbitrary input cannot be known in advance is a challenging task; as sometimes conditions or predicates in the software restrict the input domain Metamorphic testing is an effective technique for testing systems...

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

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 structural configuration of SW Japan mainly reflects a late Jurassic-early Cretaceous orogeny. The region is divided into an inner belt and an outer belt, on the Japan sea and Pacific ocean sides respectively, by a strike-slip fault, the Median Tectonic Line (MTL). Both consist of a series of stacked nappes. The inner belt is divided into a Jurassic olistostrome known as the Tanba zone and ...

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

A structural model is developed for the south-central Taiwan fold-and-thrust belt that shows consistency across an array of data types and marks important step forward in consideration geological hazards risks. Although there general agreement about regional scale geology Taiwan, are considerable differences interpretations its western belt. In this paper, we bring together results our previous...

We have compiled data on textures, trace element contents, Hf isotope compositions and U-Pb ages of zircons from lower crustal xenoliths the central part Columbia supercontinent in Precambrian areas North America, Siberia Northern Europe to address question when host rocks became continental crust. The time crust reached its current state, a layer high-pressure granulite-facies rocks, is dated ...

Abstract The “Rinkian belt” of West Greenland is a metamorphic terrain Paleoproterozoic age comprising: (1) the north Rinkian fold-thrust belt (FTB)—a pro- or fore-arc domain, highly deformed and metamorphosed with widespread anatexis; (2) Prøven Igneous Complex—a magmatic arc characterized by hypersthene granitic rocks (“charnockites”); (3) south FTB—an inverted back-arc basin; 4) continental ...