Metamorphic testing has been applied in various systems from different domains. Many studies showed that the selection of metamorphic relations greatly affected the effectiveness of metamorphic testing. However, these studies mainly focused on the fault-detection effectiveness. They did not consider the cost that metamorphic relations involved, such as the number of test inputs. Good metamorphi...

Several ranges encompassing more than 35,000 km 2 of Sonora, Mexico, contain distinctly lineated and foliated granitic and metamorphic rocks that constitute the lower plates of metamorphic core complexes. Penetrative deformation is characterized by gently dipping mylonitic foliation across which northeast trending stretching lineation is everywhere developed. Prominent northwest trending fractu...

To explore the nature of how the structure and physical properties of the crust vary from extended to relatively unextended domains we present teleseismic receiver functions which measure crustal thickness, shear wavespeed structure and the Vp/Vs ratio at 12 seismic stations in eastern Arizona. The crustal thickness is∼28 km, increases slightly eastward, and remains nearly uniform beneath the v...

The Central Asian Orogenic Belt, or Altaids, is an amalgamation of volcanic arcs and microcontinent blocks that records a complex late Precambrian–Mesozoic accretionary history. Although microcontinents cored by Precambrian basement are proposed to play an integral role in the accretion process, a lack of isotopic data hampers volume estimates of newly produced arc-derived versus old-cratonic c...

The massive sulphide deposit at Kantienpan Cu-Zn mine is hosted by volcano sedimentary succession known as the Areachap Group, in the eastern part of Namaqua Metamorphic Province, South Africa. The deposits were affected by a complex deformation and metamorphic history and represent examples of upper amphibolite to granulite grade metamorphosed volcanic-hosted m...

Although testing is the mostpopular method for assuring sofrware quality, there are two recognized limitations, known as the reliable test set problem and the oracle problem. Fault-based testing is un attempt by Morell to alleviate the reliable test set problem. In this papec we propose to enhance fault-based testing to address the oracle problem as well. We present an integrated method that co...