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

Dehsalm Metamorphic Complex located in east of Iran consists of regionally metamorphosed rocks intruded by three phases of granitic masses. Synkinematic porphyroblasts of garnet from staurolite-garnet schist present well preserved growth zoning. Electron microprobe analysis of selected garnets was carried out to interpret the origin and pattern of zoning in amphibolite facies garnets and its im...

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

Vertebrate pigment cells are derived from neural crest cells and are a useful system for studying neural crest-derived traits during post-embryonic development. In zebrafish, neural crest-derived melanophores differentiate during embryogenesis to produce stripes in the early larva. Dramatic changes to the pigment pattern occur subsequently during the larva-to-adult transformation, or metamorpho...

Integrated pseudosection modeling and monazite petrochronology of paragneiss from the Kanchenjunga region of northeastern Nepal reveal the presence of cryptic tectonometamorphic discontinuities within the Himalayan metamorphic core. These new data outline a series of thrust-sense structures that juxtapose rocks that generally record a protracted history of early Eocene to latest Oligocene–early...

In this paper, we focus on a novel Internet architecture, based on the urbanization of virtual machines. In this approach, virtual networks are built linking specific virtual elements (router, switch, firewall, box, access point, etc.). A virtual network represents a network with an independent protocol stack that shares resources from the underlying network infrastructure. Virtualization divid...

A metamorphic robotic system is an aggregate of homogeneous robot units which can individually and selectively locomote in such a way as to change the global shape of the system. We introduce a mathematical framework for defining and analyzing general metamorphic robots. With this formal structure, combined with ideas from geometric group theory, we define a new type of configuration space for ...

The Conlara Metamorphic Complex, the easternmost complex of Sierra de San Luis, is a key unit to understand relationship between late Proterozoic-Early Cambrian Pampean and Upper Cambrian-Middle Ordovician Famatinian orogenies Eastern Sierras Pampeanas. Complex extends east foothills Comechingones west up Río Guzmán shear zone. main rock types CMC are metaclastic metaigneous rocks that intruded...