184 research outputs found

    Testing real-time systems using TINA

    Get PDF
    The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe how the toolbox TINA has been extended to support automatic generation of time-optimal test suites. The result is optimal in the sense that the set of test cases in the test suite have the shortest possible accumulated time to be executed. Input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Test cases selection is based either on using manually formulated test purposes or automatically from various coverage criteria specifying structural criteria of the model to be fulfilled by the test suite. We discuss how test purposes and coverage criterion are specified in the linear temporal logic SE-LTL, derive test sequences, and assign verdicts

    Performance and cost efficiency of KRAS mutation testing for metastatic colorectal cancer in routine diagnosis: the MOKAECM study, a nationwide experience.

    Get PDF
    International audiencePURPOSE: Rapid advances in the understanding of cancer biology have transformed drug development thus leading to the approval of targeted therapies and to the development of molecular tests to select patients that will respond to treatments. KRAS status has emerged as a negative predictor of clinical benefit from anti-EGFR antibodies in colorectal cancer, and anti-EGFR antibodies use was limited to KRAS wild type tumors. In order to ensure wide access to tumor molecular profiling, the French National Cancer Institute (INCa) has set up a national network of 28 regional molecular genetics centers. Concurrently, a nationwide external quality assessment for KRAS testing (MOKAECM) was granted to analyze reproducibility and costs. METHODS: 96 cell-line DNAs and 24 DNA samples from paraffin embedded tumor tissues were sent to 40 French laboratories. A total of 5448 KRAS results were collected and analyzed and a micro-costing study was performed on sites for 5 common methods by an independent team of health economists. RESULTS: This work provided a baseline picture of the accuracy and reliability of KRAS analysis in routine testing conditions at a nationwide level. Inter-laboratory Kappa values were >0.8 for KRAS results despite differences detection methods and the use of in-house technologies. Specificity was excellent with only one false positive in 1128 FFPE data, and sensitivity was higher for targeted techniques as compared to Sanger sequencing based methods that were dependent upon local expertise. Estimated reagent costs per patient ranged from €5.5 to €19.0. CONCLUSION: The INCa has set-up a network of public laboratories dedicated to molecular oncology tests. Our results showed almost perfect agreements in KRAS testing at a nationwide level despite different testing methods ensuring a cost-effective equal access to personalized colorectal cancer treatment

    Carotenoid blues: Structural studies on carotenoproteins

    Get PDF
    Solid state NMR/Biophysical Organic Chemistr

    Search for leptophobic Z ' bosons decaying into four-lepton final states in proton-proton collisions at root s=8 TeV

    Get PDF
    Peer reviewe

    Search for black holes and other new phenomena in high-multiplicity final states in proton-proton collisions at root s=13 TeV

    Get PDF
    Peer reviewe

    Measurements of differential production cross sections for a Z boson in association with jets in pp collisions at root s=8 TeV

    Get PDF
    Peer reviewe

    Search for high-mass diphoton resonances in proton-proton collisions at 13 TeV and combination with 8 TeV search

    Get PDF
    Peer reviewe
    corecore