Testing timed systems modeled by stream X-machines

Stream X-machines have been used to specify real systems where complex data structures. They are a variety of extended finite state machine where a shared memory is used to represent communications between the components of systems. In this paper we introduce an extension of the Stream X-machines formalism in order to specify systems that present temporal requirements. We add time in two different ways. First, we consider that (output) actions take time to be performed. Second, our formalism allows to specify timeouts. Timeouts represent the time a system can wait for the environment to react without changing its internal state. Since timeous affect the set of available actions of the system, a relation focusing on the functional behavior of systems, that is, the actions that they can perform, must explicitly take into account the possible timeouts. In this paper we also propose a formal testing methodology allowing to systematically test a system with respect to a specification. Finally, we introduce a test derivation algorithm. Given a specification, the derived test suite is sound and complete, that is, a system under test successfully passes the test suite if and only if this system conforms to the specification

KRAS G12C Inhibition with Sotorasib in Advanced Solid Tumors

Background: No therapies for targeting KRAS mutations in cancer have been approved. The KRAS p.G12C mutation occurs in 13% of non-small-cell lung cancers (NSCLCs) and in 1 to 3% of colorectal cancers and other cancers. Sotorasib is a small molecule that selectively and irreversibly targets KRASG12C. Methods: We conducted a phase 1 trial of sotorasib in patients with advanced solid tumors harboring the KRAS p.G12C mutation. Patients received sotorasib orally once daily. The primary end point was safety. Key secondary end points were pharmacokinetics and objective response, as assessed according to Response Evaluation Criteria in Solid Tumors (RECIST), version 1.1. Results: A total of 129 patients (59 with NSCLC, 42 with colorectal cancer, and 28 with other tumors) were included in dose escalation and expansion cohorts. Patients had received a median of 3 (range, 0 to 11) previous lines of anticancer therapies for metastatic disease. No dose-limiting toxic effects or treatment-related deaths were observed. A total of 73 patients (56.6%) had treatment-related adverse events; 15 patients (11.6%) had grade 3 or 4 events. In the subgroup with NSCLC, 32.2% (19 patients) had a confirmed objective response (complete or partial response) and 88.1% (52 patients) had disease control (objective response or stable disease); the median progression-free survival was 6.3 months (range, 0.0+ to 14.9 [with + indicating that the value includes patient data that were censored at data cutoff]). In the subgroup with colorectal cancer, 7.1% (3 patients) had a confirmed response, and 73.8% (31 patients) had disease control; the median progression-free survival was 4.0 months (range, 0.0+ to 11.1+). Responses were also observed in patients with pancreatic, endometrial, and appendiceal cancers and melanoma. Conclusions: Sotorasib showed encouraging anticancer activity in patients with heavily pretreated advanced solid tumors harboring the KRAS p.G12C mutation. Grade 3 or 4 treatment-related toxic effects occurred in 11.6% of the patients. (Funded by Amgen and others; CodeBreaK100 ClinicalTrials.gov number, NCT03600883.)

Scholarly publishing depends on peer reviewers

The peer-review crisis is posing a risk to the scholarly peer-reviewed journal system. Journals have to ask many potential peer reviewers to obtain a minimum acceptable number of peers accepting reviewing a manuscript. Several solutions have been suggested to overcome this shortage. From reimbursing for the job, to eliminating pre-publication reviews, one cannot predict which is more dangerous for the future of scholarly publishing. And, why not acknowledging their contribution to the final version of the article published? PubMed created two categories of contributors: authors [AU] and collaborators [IR]. Why not a third category for the peer-reviewer?Scopu

A phase II study of retifanlimab (INCMGA00012) in patients with squamous carcinoma of the anal canal who have progressed following platinum-based chemotherapy (POD1UM-202)

Background: Locally advanced or metastatic squamous carcinoma of the anal canal (SCAC) has poor prognosis following platinum-based chemotherapy. Retifanlimab (INCMGA00012), a humanized monoclonal antibody targeting programmed death protein-1 (PD-1), demonstrated clinical activity across a range of solid tumors in clinical trials. We present results from POD1UM-202 (NCT03597295), an open-label, single-arm, multicenter, phase II study evaluating retifanlimab in patients with previously treated advanced or metastatic SCAC. Patients and methods: Patients ≥18 years of age had measurable disease and had progressed following, or were ineligible for, platinum-based therapy. Retifanlimab 500 mg was administered intravenously every 4 weeks. The primary endpoint was overall response rate (ORR) by independent central review. Secondary endpoints were duration of response (DOR), disease control rate (DCR), progression-free survival (PFS), overall survival (OS), and safety. Results: Overall, 94 patients were enrolled. At a median follow-up of 7.1 months (range, 0.9-19.4 months), ORR was 13.8% [95% confidence interval (CI) 7.6% to 22.5%], with one complete response (1.1%) and 12 partial responses (12.8%). Responses were observed regardless of human immunodeficiency virus or human papillomavirus status, programmed death ligand 1 (PD-L1) expression, or liver metastases. Stable disease was observed in 33 patients (35.1%) for a DCR of 48.9% (95% CI 38.5% to 59.5%). Median DOR was 9.5 months (range, 5.6 months-not estimable). Median (95% CI) PFS and OS were 2.3 (1.9-3.6) and 10.1 (7.9-not estimable) months, respectively. Retifanlimab safety in this population was consistent with previous experience for the PD-(L)1 inhibitor class. Conclusions: Retifanlimab demonstrated clinically meaningful and durable antitumor activity, and an acceptable safety profile in patients with previously treated locally advanced or metastatic SCAC who have progressed on or are intolerant to platinum-based chemotherapy.SCOPUS: ar.jinfo:eu-repo/semantics/publishe