Software testing is difficult to automate, especially in programs which have no oracle, or method of determining which output is correct. Metamorphic testing is a solution this problem. Metamorphic testing uses metamorphic relations to define test cases and expected outputs. A large amount of time is needed for a domain expert to determine which metamorphic relations can be used to test a given...

Metamorphic InAlAs/InGaAs HEMT are successfully demonstrated, exhibiting several advantages over conventional P-HEMT on GaAs and LM-HEMT on InP substrate. The strainrelaxed metamorphic structure is grown by MBE on the GaAs substrate with the inverse-step graded InAlAs metamorphic buffer. The device with 40% indium content shows the better characteristics than the device with 53% indium content....

A recurring challenge to ion microprobe U^Pb zircon geochronology has been to discriminate between preservation of original igneous zircon populations and inherited grains. This has proved particularly problematic in studying the polyphase metamorphic rocks that dominate Early Archean gneissic terranes. For example, differing interpretations exist for the origin of complex zircon populations in...

A structural and petrological study of the Late Proterozoic rocks in the Wadi Kid area, Sinai, Egypt indicates the presence of an extensional metamorphic core complex in the northern Arabian–Nubian Shield. Gneissic domes throughout the Arabian–Nubian Shield resemble the core complex of the Wadi Kid area and as a result, they are interpreted as extensional metamorphic core complexes. The presenc...

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 massive sulphide (vhms) depo...

Metamorphic viruses transform their code as they propagate, thus evading detection by static signature-based virus scanners, while keeping their functionality. They use code obfuscation techniques to challenge deeper static analysis and can also beat dynamic analyzers, such as emulators, by altering their behavior. To achieve this, metamorphic viruses use several metamorphic transformations, in...

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