Generating a checking sequence with a minimum number of reset transitions

Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states than M. There has been much interest in the automated generation of a short checking sequence from a finite state machine. However, such sequences can contain reset transitions whose use can adversely affect both the cost of applying the checking sequence and the effectiveness of the checking sequence. Thus, we sometimes want a checking sequence with a minimum number of reset transitions rather than a shortest checking sequence. This paper describes a new algorithm for generating a checking sequence, based on a distinguishing sequence, that minimises the number of reset transitions used.This work was supported in part by Leverhulme Trust grant number F/00275/D, Testing State Based Systems, Natural Sciences and Engineering Research Council (NSERC) of Canada grant number RGPIN 976, and Engineering and Physical Sciences Research Council grant number GR/R43150, Formal Methods and Testing (FORTEST)

Distinguishing sequences for partially specified FSMs

Distinguishing Sequences (DSs) are used inmany Finite State Machine (FSM) based test techniques. Although Partially Specified FSMs (PSFSMs) generalise FSMs, the computational complexity of constructing Adaptive and Preset DSs (ADSs/PDSs) for PSFSMs has not been addressed. This paper shows that it is possible to check the existence of an ADS in polynomial time but the corresponding problem for PDSs is PSPACE-complete. We also report on the results of experiments with benchmarks and over 8 * 106 PSFSMs. © 2014 Springer International Publishing

Hacia un nuevo socialismo

Nos encontramos ante el testamento político de uno de los líderes norteamericanos del socialismo democrático. M. Harrington murió en agosto de 1989 poco después de haber aparecido este libro. Intuyendo su próximo final hace Un balance histórico del movimiento socialista y apunta hacia su potencial futuro. Es el testamento de un militante y un intelectual que reflexiona sobre lo que es el socialismo desde Estados Unidos, la sociedad occidental del capitalismo más desarrollada y más refractaria a la tradición socialista.Peer reviewe

Overcoming controllability problems in distributed testing from an input output transition system

This is the Pre-print version of the Article. The official published version can be accessed from the link below - Copyright @ 2012 Springer VerlagThis paper concerns the testing of a system with physically distributed interfaces, called ports, at which it interacts with its environment. We place a tester at each port and the tester at port p observes events at p only. This can lead to controllability problems, where the observations made by the tester at a port p are not sufficient for it to be able to know when to send an input. It is known that there are test objectives, such as executing a particular transition, that cannot be achieved if we restrict attention to test cases that have no controllability problems. This has led to interest in schemes where the testers at the individual ports send coordination messages to one another through an external communications network in order to overcome controllability problems. However, such approaches have largely been studied in the context of testing from a deterministic finite state machine. This paper investigates the use of coordination messages to overcome controllability problems when testing from an input output transition system and gives an algorithm for introducing sufficient messages. It also proves that the problem of minimising the number of coordination messages used is NP-hard

Diagnostic value of combined serum biomarkers for the evaluation of liver fibrosis in chronic hepatitis C infection: A multicenter, noninterventional, observational study

Background/Aims: The hepatitis C virus (HCV) infection is important cause of chronic hepatitis. Liver biopsy is considered the gold standard for assessment of fibrosis but this procedure is an invasive procedure. We aimed to evaluate the diagnostic efficiency of non-invasive serum biomarkers, separately and in combinations, on liver fibrosis in treatment-naive chronic hepatitis C (CHC) patients. Materials and Methods: Two hundred and sixteen treatment-naive CHC patients were enrolled from 32 locations across Turkey in this open-labelled, non-interventional prospective observational study. FibroTest®, aspartate aminotransferase-to-platelet ratio index(APRI), aspartate aminotransferase and alanine aminotransferase ratio (AAR), fibrosis index based on four factors (FIB-4), Age-platelet(AP) index and Forns index were measured and compared with Metavir scores got from liver biopsies. Results: Data from 182 patients with baseline liver biopsy were suitable for analysis. One hundred and twenty patients (65.9%) had F0-F1 fibrosis and 62 patients (34.1%) had F2-F4 fibrosis. APRI 0.732 area under the curve(AUC) indicated advanced fibrosis with 69% sensitivity and 77% specificity. FIB-4 0.732 AUC and FibroTest 0.715 AUC indicated advanced fibrosis with 69% and 78.4% sensitivity, and 75% and 71.4% specificity, respectively. The combined use of tests also led to an increase in AUC and specificity. Combinations of FibroTest with APRI and/or FIB-4, and FIB-4 with APRI were optimal for the evaluation of liver fibrosis. Conclusion: Fibrotest, FIB-4, APRI, AP index and Forns index exhibit good diagnostic performance for determining liver fibrosis in CHC patients, and the use of at least two tests together will increase their diagnostic value still further. © Copyright 2018 by The Turkish Society of Gastroenterology

In vitro synergistic cytoreductive effects of zoledronic acid and radiation on breast cancer cells

INTRODUCTION: Bisphosphonates are mostly used in the treatment of bone metastases. They have been shown to act synergistically with other chemotherapeutic agents. It is not known, however, whether similar synergistic effects exist with radiation on breast cancer cells. METHODS: Human MCF-7 breast cancer cells were treated with up to 100 μM zoledronic acid, were irradiated with up to 800 cGy or were exposed to combinations of both treatments to determine the antiproliferative effects of zoledronic acid and radiation. RESULTS: Zoledronic acid and radiation caused a dose-dependent and time-dependent decrease in cell viability (approximate 50% growth inhibition values were 48 μM and 20 μM for 24 hours and 72 hours, respectively, for zoledronic acid and 500 cGy for radiation). A synergistic cytotoxic effect of the combination of zoledronic acid and radiation was confirmed by isobologram analysis. CONCLUSION: These data constitute the first in vitro evidence for synergistic effects between zoledronic acid and radiation. This combination therapy might thus be expected to be more effective than either treatment alone in patients with metastatic breast carcinoma

Timed Implementation Relations for the Distributed Test Architecture

In order to test systems that have physically distributed interfaces, called ports, we might use a distributed approach in which there is a separate tester at each port. If the testers do not synchronise during testing then we cannot always determine the relative order of events observed at different ports and this leads to new notions of correctness that have been described using corresponding implementation relations. We study the situation in which each tester has a local clock and timestamps its observations. If we know nothing about how the local clocks relate then this does not affect the implementation relation while if the local clocks agree exactly then we can reconstruct the sequence of observations made. In practice, however, we are likely to be between these extremes: the local clocks will not agree exactly but we have some information regarding how they can differ. We start by assuming that a local tester interacts synchronously with the corresponding port of the system under test and then extend this to the case where communications can be asynchronous, considering both the first-in-first-out (FIFO) case and the non-FIFO case. The new implementation relations are stronger than implementation relations for distributed testing that do not use timestamps but still reflect the distributed nature of observations. This paper explores these alternatives and derives corresponding implementation relations

Using schedulers to test probabilistic distributed systems

This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-012-0244-5. Copyright © 2012, British Computer Society.Formal methods are one of the most important approaches to increasing the confidence in the correctness of software systems. A formal specification can be used as an oracle in testing since one can determine whether an observed behaviour is allowed by the specification. This is an important feature of formal testing: behaviours of the system observed in testing are compared with the specification and ideally this comparison is automated. In this paper we study a formal testing framework to deal with systems that interact with their environment at physically distributed interfaces, called ports, and where choices between different possibilities are probabilistically quantified. Building on previous work, we introduce two families of schedulers to resolve nondeterministic choices among different actions of the system. The first type of schedulers, which we call global schedulers, resolves nondeterministic choices by representing the environment as a single global scheduler. The second type, which we call localised schedulers, models the environment as a set of schedulers with there being one scheduler for each port. We formally define the application of schedulers to systems and provide and study different implementation relations in this setting

The shock wave ignition of dusts

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/76582/1/AIAA-9095-997.pd