Test case selection (TCS) techniques have been explored to support the operational evaluation of deep neural networks (DNNs) under limited testing budgets, where labeling cost is a primary concern and early model failure detection is a key objective. Although prior studies report promising results, existing empirical e...
Ali Asgari, Mitchell Olsthoorn, Annibale Panichella· Proceedings of the ACM on so...· 0 citations
Modern compilers are complex software systems that must correctly translate high-level programming languages into machine code across multiple architectures. Cranelift, a fast and modern compiler backend originally developed for WebAssembly and recently adopted as an experimental backend for Rust, has gained increasing...
Shangtong Cao, 宋天磊, Qiuping Yi et al.· Proceedings of the ACM on so...· 0 citations
Journal-independent reproducibility archive for tissue-informed regulatory prioritization of polycystic ovary syndrome loci. This version contains the current versioned analysis code and frozen aggregate outputs, the complete 131,685-test Mendelian-randomization family (64,933 European and 66,752 all-ancestry rows) wit...
Ran Chen, Xiaohui Bi· Zenodo (CERN European Organi...· 0 citations
This dataset contains the experimental results used in the study evaluating AI-generated test cases against human-written test cases. The dataset includes testing quality metrics, productivity metrics, user story evaluations, and survey responses collected from software quality assurance professionals.
Muhammad Aftab Ahmad Khan, Ali Afzal Malik· Mendeley Data· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Modern software systems evolve rapidly under continuous integration and deployment (CI/CD) practices, in which tests act as critical gatekeepers of software quality. However, when substantial code changes are introduced, existing test cases may become obsolete, leading to compilation failures, erroneous test behaviors,...
Dawei Tian, Jiakun Liu, Yun Peng et al.· Proceedings of the ACM on so...· 0 citations
Security and privacy are increasingly becoming the primary risk for many of the world’s enterprises, businesses, and consumers, as cyber criminals continue to exploit security flaws and weaknesses in the systems and technology that underpin modern life. To meet this concern, we need new approaches to improving software...
Kaixi Yang· Research Portal (Queen's Uni...· 0 citations
Statistical benchmarking was successfully applied to quantify and resolve below-noise-floor observations of intensity timeseries in both biomedical and astrophysical contexts. Noise models, and fully synthetic camera images were generated from Randox biochip tests, using statistical Z-score analysis and Monte-Carlo mod...
C. J. Dillon· Research Portal (Queen's Uni...· 0 citations
As the population ages, the proportion of elderly patients who live alone with chronic diseases, multi-morbidity and with a lack of family support is expanding. These patients may experience difficulty in adhering to prescribed medications. IT solutions are capable of providing assistance to elderly people who wish to...
Hala Al Obaidi· Research Portal (Queen's Uni...· 0 citations
The antimicrobial peptide (AMP) is a type of small molecular peptides that are produced by the body against infection. They are commonly considered as a fundamental component of innate immunity and have been extensively discovered in the insects and other non-vertebrate organisms. Amphibian skin secretions are also kno...
Yiming Xu· Research Portal (Queen's Uni...· 0 citations
This thesis outlines the design and development of CIRAFm (Cancer Integromics Research Application Framework). CIRAFm is a software framework for interactively analysing biomedical data within cancer research. It provides a no-code browser platform which allows translational researchers to conduct, record, share their...
Seedevi Senevirathne· Research Portal (Queen's Uni...· 0 citations
Background and Aims Ovarian cancer is one of the most common gynaecological malignancies in women and the most lethal. High grade serous ovarian cancer (HGSOC) accounts for the majority of ovarian cancer deaths. Expert pathologists play a critical role in the diagnosis of ovarian cancer and in the stratification of pat...
Laura Webster· Research Portal (Queen's Uni...· 0 citations
Wildlife can act as sentinel species to monitor for the emergence and adaption of pathogenic diseases and related public and veterinary health and welfare threats, such as antimicrobial and anthelmintic resistance. As ruminants, deer are closely related to the domesticated livestock species raised in Northern Ireland,...
Maggie Lyons· Research Portal (Queen's Uni...· 0 citations
“X-Hinges” helps design and 3D print items like lamps and gloves with an interactive twist: automatically embedded sensors that perceive and adaptively respond to human contact.
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduOct 6, 2026
Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.
MIT News · Artificial Intelligence· news.mit.eduOct 2, 2026
Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
