FORTEST: Formal methods and testing

Formal methods have traditionally been used for specification and development of software. However there are potential benefits for the testing stage as well. The panel session associated with this paper explores the usefulness or otherwise of formal methods in various contexts for improving software testing. A number of different possibilities for the use of formal methods are explored and questions raised. The contributors are all members of the UK FORTEST Network on formal methods and testing. Although the authors generally believe that formal methods are useful in aiding the testing process, this paper is intended to provoke discussion. Dissenters are encouraged to put their views to the panel or individually to the authors

Tumor necrosis factor-alpha regulates the expression of inducible costimulator receptor ligand on CD34+ progenitor cells during differentiation into antigen presenting cells

The inducible costimulator receptor (ICOS) is a third member of the CD28 receptor family that regulates T cell activation and function. ICOS binds to a newly identified ligand on antigen presenting cells different from the CD152 ligands CD80 and CD86. We used soluble ICOSIg and a newly developed murine anti-human ICOS ligand (ICOSL) monoclonal antibody to further characterize the ICOSL during ontogeny of antigen presenting cells. In a previous study, we found that ICOSL is expressed on monocytes, dendritic cells, and B cells. To define when ICOSL is first expressed on myeloid antigen presenting cells, we examined ICOSL expression on CD34 cells in bone marrow. We found that CD34bright cells regardless of their myeloid commitment were ICOSL , whereas ICOSL was first expressed when CD34 expression diminished and the myeloid marker CD33 appeared

Disease severity adversely affects delivery of dialysis in acute renal failure

Background/Aims: Methods of intermittent hemodialysis (IHD) dose quantification in acute renal failure (ARF) are not well defined. This observational study was designed to evaluate the impact of disease activity on delivered single pool Kt/V-urea in ARF patients. Methods: 100 patients with severe ARF (acute intrinsic renal disease in 18 patients, nephrotoxic acute tubular necrosis in 38 patients, and septic ARF in 44 patients) were analyzed during four consecutive sessions of IHD, performed for 3.5-5 h every other day or daily. Target IHD dose was a single pool Kt/V-urea of 1.2 or more per dialysis session for all patients. Prescribed Kt/V-urea was calculated from desired dialyzer clearance (K), desired treatment time (t) and anthropometric estimates for urea distribution volume (V). The desired clearance (K) was estimated from prescribed blood flow rate and manufacturer's charts of in vivo data obtained in maintenance dialysis patients. Delivered single pool Kt/V-urea was calculated using the Daugirdas equation. Results: None of the patients had prescription failure of the target dose. The delivered IHD doses were substantially lower than the prescribed Kt/V values, particularly in ARF patients with sepsis/septic shock. Stratification according to disease severity revealed that all patients with isolated ARF, but none with 3 or more organ failures and none who needed vasopressive support received the target dose. Conclusion: Prescription of target IHD dose by single pool Kt/V-urea resulted in suboptimal dialysis dose delivery in critically ill patients. Numerous patient-related and treatment-immanent factors acting in concert reduced the delivered dose. Copyright (C) 2007 S. Karger AG, Basel

A high proportion of the world population of the spoon-billed sandpiper occurs at Tiaozini, China, during the post-breeding Moult

The Critically Endangered Spoon-billed Sandpiper Calidris pygmaea breeds in arctic and subarctic Russia and migrates to winter on coastal mudflats in south-east Asia. Its world population is probably about 700 individuals. We report Lincoln-Petersen closed-population estimates of the number of Spoon-billed Sandpipers at Tiaozini, a coastal site in Jiangsu Province, China, based upon resightings and scan surveys of individually-marked leg-flagged birds. Surveys were conducted in September-October, when adult Spoon-billed Sandpipers are moulting their primary feathers and long-distance movements are unlikely. We estimated that 220 birds were present at Tiaozini in 2017 and 224 in 2018. Nearly all of them were adults (one-year old or older), so about 40% of the world population of this age class was estimated to be present. Hence, protection of the mudflats and roost sites at Tiaozini is of global importance for the conservation of the Spoon-billed Sandpiper.Non

Effect of antiandrogen flutamide on measures of hepatic regeneration in rats

Male rat liver undergoes a process of demasculinization during hepatic regeneration following partial hepatectomy. The possibility that antiandrogens might potentiate this demasculinization process and in so doing augment the hepatic regenerative response was investigated. Adult male Wistar rats were treated with the antiandrogen flutamide (2 mg/rat/day or 5 mg/rat/day subcutaneously) or vehicle for three days prior to and daily after a 70% partial hepatectomy. At various times after hepatectomy, the liver remnants were removed and weighed. Rates of DNA and polyamine synthesis were assessed by measuring thymidine kinase and ornithine decarboxylase activities, respectively. Hepatic estrogen receptor status and the activity of alcohol dehydrogenase, an androgen-sensitive protein, were measured. Prior to surgery, the administration of 5 mg/day flutamide reduced the hepatic cytosolic androgen receptor activity by 98% and hepatic cytosolic estrogen receptor content by 92% compared to that present in vehicle-treated controls. After hepatectomy, however, all differences in sex hormone receptor activity between the treatment groups were abolished. The rate of liver growth after partial hepatectomy in the three groups was identical. Moreover, hepatectomy-induced increases in ornithine decarboxylase activity and thymidine kinase activity were comparable. These data demonstrate that, although flutamide administration initially alters the sex hormone receptor status of the liver, these affects have no effect on the hepatic regenerative response following a partial hepatectomy. © 1989 Plenum Publishing Corporation