Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated extraction of information from FMs is a complex task that involves numerous analysis operations, techniques and tools. Current testing methods in this context are manual and rely on the ability of the tester to decide whether the output of an analysis is correct. However, this is acknowledged ...

Nitric oxide (NO) is a unique chemical messenger that has been shown to play a role in the modulation of breathing in amphibians and other vertebrates. In the post-metamorphic tadpole and adult amphibian brainstem, NO, acting via the neuronal isoform of nitric oxide synthase (nNOS), is excitatory to the generation of lung burst activity. In this study, we examine the modulation of breathing by ...

Testing the correctness of services assures the functional quality of service-oriented applications. A service-oriented application may bind dynamically to its supportive services. For the same service interface, the supportive services may behave differently. A service may also need to realize a business strategy, like best pricing, relative to the behavior of its counterparts and the dynamic ...

This paper discusses issues in the design and implementation of metamorphic robotic systems. A metamorphic robotic system is a collection of independently controlled mechatronic modules, each of which has the ability to connect, disconnect, and climb over adjacent modules. A metamorphic system can dynamically reconngure by the locomotion of modules over their neighbors. Thus they can be viewed ...

Model transformations are crucial for the success of Model Driven Engineering. Testing is a prevailing technique of verifying the correctness of model transformation programs. A major challenge in model transformation testing is the oracle problem, which refers to the difficulty or high cost in determining the correctness of the output models. Metamorphic Testing alleviates the oracle problem b...

The steroid hormone 20-hydroxyecdysone (20E) initiates metamorphosis in insects by signaling through the ecdysone receptor complex, a heterodimer of the ecdysone receptor (EcR) and ultraspiracle (USP). Analysis of usp mutant clones in the wing disc of Drosophila shows that in the absence of USP, early hormone responsive genes such as EcR, DHR3 and E75B fail to up-regulate in response to 20E, bu...

n October 1995, a four-day multi channel seismic and bottom sampling survey was conducted aboard the R/V Ewing in the Pacific’s western Woodlark Basin. This site augmentation effort, supported by USSSP, was associated with JOIDES Proposal #447. New data from this survey provide further evidence for active extension on a low-angle (~25) normal fault but do not support a metamorphic core complex ...