Category
3,195 papers
The paper asks whether high-level conceptual specifications improve LLM-generated PBT quality and whether they help developers extend and maintain AI-generated systems (RQ2), and reports preliminary results applying Spinach to two open-source applications.
LLM-based testing can expose subtle reliability issues in numerical software, but monolithic prompts make it hard to inspect which guidance drives effectiveness. We study whether Agent Skills can make such workflows more explainable by factoring procedural knowledge into composable testing components. Using numerical i...
Specifying contracts as program behavior using Hoare triples is an established practice in software engineering. Compared to traditional testing approaches, formal verification of these contracts provides stronger guarantees of functional correctness. However, its practical adoption has remained limited since significa...
Kubernetes is a widely adopted container orchestration framework, yet misconfigurations remain a leading cause of cloud security incidents and a major challenge for practitioners. Automated security scanners are commonly used to detect such misconfigurations, but their effectiveness has not been systematically evaluate...
Reach audiences
Advertise in front of researchers, engineers, and readers.
Modern JVM software increasingly integrates multiple programming languages, such as Java, Kotlin, Groovy, and Scala, within a single application. Supporting such interoperability requires JVM compilers to perform cross-language compilation while reconciling subtle semantic differences across language boundaries. Errors...
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...
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...
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...
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.
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,...
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...
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...
A Blog post by IBM Granite on Hugging Face
“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.
We’re giving developers, enterprises, scientists, and consumers access to Gemini 4 Argon, our latest frontier model.
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.
An ongoing survey tracks the latest AI accelerator systems to keep hardware relevant for Lincoln Laboratory staff and sponsors.
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.
