At the southernmost part of Tierra del Fuego a few outcrops and erratic boulders of alkali basaltic rocks with ultramafic enclaves have been studied. Alkali basalt plugs or pipes hitherto identified are scarce, and host rocks are constituted by slates that belong to Mesozoic deposition. The petrography, texture and composition of the basalt and xenoliths were investigated by petrographic micros...

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

Recent work in Barrovian metamorphic terranes has found that rocks experience peak metamorphic temperatures across several grades at similar times. This result is inconsistent with most geodynamic models of crustal over-thickening and conductive heating, wherein rocks which reach different metamorphic grades generally reach peak temperatures at different times. Instead, the presence of addition...

Our understanding of frictional melting that occurs during large earthquake slip events has been hampered by the extremely fine-grain size of frictionally fused rock, and the lack of detailed high-resolution microscopy studies that describe features at the crystal lattice scale. In such a study, we here report the complex nature of melting and crystallization in a symmetrically layered, pseudot...

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