This paper presents a system, called COTTAGE, for automated test data generation of C programs. The main originality of our system is its ability to handle programs with oat variables as well as boolean and integer variables. It can also deal with arrays and procedure calls. The system is based on our previous work [25, 26]. A test program (with procedure calls) is represented by an Interproced...

Coombs, Donnell, and Kirk (1978. Journal of Experimental Psychology, 4, 497-512), in a study of risk preferences, collected data using both pick 1 and reject $ response modes. Although the preference orders derived from the two response modes were identical, the pick data contained a greater number of inconsistencies than the reject data. In the present study, predictions were derived from unfo...

Searches for binary inspiral signals in data collected by interferometric gravitational wave detectors utilize matched filtering techniques. Although matched filtering is optimal in the case of stationary Gaussian noise, data from real detectors often contains “glitches” and episodes of excess noise which cause filter outputs to ring strongly. We review the standard χ statistic which is used to...

The consistency test is one of the critical components both in AHP and ANP. It is necessary to make sure if the judgment result is accuracy and reliable. This paper stated a specific process of consistency test in ANP with group judgment under intuitionistic fuzzy environment. A two steps de-fuzzification technique with intuitionistic fuzzy number reduction and generalized mean computation is p...

OBJECTIVES In systemic sclerosis (SSc), hand involvement is frequent and leads to prominent disability. The Hand Mobility in Scleroderma (HAMIS) test is a hand function test for SSc patients assessing the movements included in an ordinary range of motion examination. Our aim is to validate the Italian version of HAMIS, by assessing its test-retest reliability, internal consistency and external ...

The burst search in LIGO relies on the coincident detection of transient signals in multiple interferometers. As only minimal assumptions are made about the event waveform or duration, the analysis pipeline requires loose coincidence in time, frequency and amplitude. Confidence in the resulting events and their waveform consistency is established through a time-domain coherent analysis: the r -...