It is shown that for every context free language L there effectively exists a test set F, that is, a finite subset F of L such that, for any pair (g, h) of morphisms, g(x) = h(x) for all x in F implies g(x) = h(x) for all x in L. This result was claimed earlier but a detailed correct proof is given here. Together with very recent results on systems of equations over a free monoid this result im...

Description The pain-free grip (PFG) test is used to measure the amount of force that the patient generates to the onset of pain; when there is no pain the test result could be regarded as maximum grip strength. It is commonly performed in patients with lateral epicondylalgia (LE). LE is characterised by the presence of pain over the lateral humeral epicondyle which is provoked by at least two ...

The free running asthma screening test (FRAST) was evaluated in 503 Sheffield schoolchildren aged 6 to 12 years and compared with responses to an asthma questionnaire. The FRAST measured peak expiratory flow rate (PEFR) before and at 1, 5, and 10 minutes after maximum voluntary running for at least 5 minutes in a standardised environment. A fall in PEFR of greater than 15% in at least two poste...

We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize the usefulness of logic features in its implementation and use. Free variables, nondeterminism and encapsulated search turn out to be elegant and powerful means to express test-data generation.