Gold in the Ariab district (Red Sea Hills, Sudan) is mined gossans developed over volcanogenic massive sulphide (VHMS) deposits formed context of a Tonian ensimatic arc Haiya terrane, Neoproterozoic Arabo-Nubian Shield. All primary gold occurrences belt, whatever their style (VHMS-, quartz lode- or shear-zone-hosted), appear, however, to have been syn-to late-kinematic, i.e., final Pan-African ...

The protoliths of metamorphosed argillaceous rocks from the Garmichay area in the East Azerbaijan province of NW Iran were clay-rich sediments of reworked nature, originating most likely from an andesite to andesite-basalt source and deposited in an active continental margin tectonic setting. The protoliths of the Garmichay metapelites experienced low to moderate chemical weathering. Andalusite...

Field evidences, petrographic features and geochemical studies show that the garnet-muscovite granitoids of Boland Parchin area are S-type and they have sharp contact with the host rocks (metamorphic rocks). Granitoids of Boland Parchin contain minerals such as quartz, K-feldspars, plagioclase, biotite and Al-rich minerals (such as muscovite and garnet). Chemical composition of K-feldspars, pla...

Detecting Metamorphic Viruses using Profile Hidden Markov Models By Srilatha Attaluri Metamorphic computer viruses “mutate” by changing their structure every time they propagate. Unlike other viruses, they use code obfuscation techniques on the body of the virus and do not exhibit a common signature. With the advent of construction kits, it is easy to generate various metamorphic strains of a v...

It is often difficult to verify the solutions of computationally intensive mathematical optimization problems. Metamorphic testing is a technique to verify software test output even when a complete testing oracle is not present. We apply metamorphic testing to a classic optimization problem, the quadratic assignment problem (QAP). A number of metamorphic relations for the QAP are described in d...

This paper is an attempt to understand the effectiveness of teaching metamorphic properties in a senior/graduate software engineering course classroom environment through gauging the success achieved by students in identifying these properties on the basis of the lectures and materials provided in class. The main findings were: (1) most of the students either misunderstood what metamorphic prop...

In application domains that do not have a test oracle, such as machine learning and scientific computing, quality assurance is a challenge because it is difficult or impossible to know in advance what the correct output should be for general input. Previously, metamorphic testing has been shown to be a simple yet effective technique in detecting defects, even without an oracle. In metamorphic t...

A system for transformation, correlation, and unification of subordinations between d002 (Å) semi-graphite graphite, graphitization degrees metamorphic temperature was created. The existing equations in the literature were analyzed new equations, which determine correlation relationships these parameters, formulated. effect factors that control processes (temperature, general pressure tectonic ...

The problem of testing programs without test oracles is well known. A commonly used approach is to use special values in testing but this is often insufficient to ensure program correctness. This paper demonstrates the use of metamorphic testing to uncover faults in programs, which could not be detected by special test values. Metamorphic testing can be used as a complementary test method to sp...

Challenges arise in assuring the quality of applications that do not have test oracles, i.e., for which it is impossible to know what the correct output should be for arbitrary input. Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of these “non-testable programs”. In metamorphic testing, if test input x produces output f (x), specif...