Results 41 to 50 of about 51,195 (267)
Prioritization of Metamorphic Relations to reduce the cost of testing [PDF]
arXiv, 2022 An oracle is a mechanism to decide whether the outputs of the program for the executed test cases are correct. For machine learning programs, such oracle is not available or too difficult to apply. Metamorphic testing is a testing approach that uses metamorphic relations, which are necessary properties of the software under test to help verify the ...
arxiv
Unexpected aspects of strain relaxation and compensation in InGaAs metamorphic structures grown by MOVPE [PDF]
Crystal Growth and Design, 2016, 16, pp 2363, 2016 We present a selection of stack designs for MOVPE grown InxGa1-xAs metamorphic buffer layers following various convex-down compositional continuous gradients of the In content, showing that defect generation and strain can be managed in a variety of ways, some rather unexpected (and unreported).
arxiv +1 more source
High pressure metamorphism of ophiolites in Cuba
Geologica Acta, 2006 High-pressure metamorphic complexes of ophiolitic material in Cuba trace the evolution of the northern margin of the Caribbean Plate during the Mesozoic.
A. GARCÍA CASCO +6 more
doaj +1 more source
Structural analysis and metamorphism of Palaeoproterozoic metapelites in the Seinäjoki-Ilmajoki area, western Finland [PDF]
Bulletin of the Geological Society of Finland, 1999 The Palaeoproterozoic Svecofennian bedrock of the Seinäjoki-Ilmajoki area, western Finland, is largely composed of porphyroblastic metapelites. In the area, the regional metamorphic grade increases towards the southwest.
H. Mäkitie
doaj +1 more source
Metamorphic Testing for Cybersecurity [PDF]
Computer, 2016 Testing is a major approach for the detection of software defects, including vulnerabilities in security features. This article introduces metamorphic testing (MT), a relatively new testing method, and discusses how the new perspective of MT can help to conduct negative testing as well as to alleviate the oracle problem in the testing of security ...
Chen, Tsong Yueh +6 more
openaire +5 more sources
Palaeoproterozoic prograde metasomatic-metamorphic overprint zones in Archean tonalitic gneisses, eastern Finland [PDF]
Bulletin of the Geological Society of Finland, 1999 Several occurrences of coarse-grained kyanite rocks are exposed in the Archaean area of eastern Finland in zones trending predominantly northwest-southeast that crosscut all the Archaean structures and, locally, the Palaeoproterozoic metadiabase dykes ...
M. Pajunen, M. Poutiainen
doaj +1 more source
Metamorphic Testing and Beyond [PDF]
Eleventh Annual International Workshop on Software Technology and Engineering Practice, 2005 When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-up test cases to check important properties of the target function. It does not need a human oracle for output prediction and comparison.
Tse, TH, Chen, TY, Kuo, FC, Zhou, ZQ
openaire +2 more sources
Metamorphic Testing in Autonomous System Simulations [PDF]
arXiv, 2022 Metamorphic testing has proven to be effective for test case generation and fault detection in many domains. It is a software testing strategy that uses certain relations between input-output pairs of a program, referred to as metamorphic relations. This approach is relevant in the autonomous systems domain since it helps in cases where the outcome of ...
arxiv
Cooling history of the eastern Svecokarelides: whole-rock and mica Rb-Sr and hornblende K-Ar ages in the areas of Pihtipudas-Iisalmi and Joroinen-Sulkava, Finland [PDF]
Bulletin of the Geological Society of Finland, 1990 Rb-Sr age determination on mica and whole-rock samples and K-Ar age determination on hornblendes were carried out to get information on the time of metamorphism and early cooling in two Proterozic areas of the Finnish Svecokarelides.
U. Haudenschild
doaj +1 more source
, 2015 The southwestern Tianshan (China) metamorphic belt records high-pressure (HP) to ultrahigh-pressure (UHP) conditions corresponding to a cold oceanic subduction-zone setting.
T. Shen +6 more
semanticscholar +1 more source