Skip to content

Category

software testing

2,640 papers

#software testing Review Open access Sep 2026

A Review of Research on the Development of Artificial Intelligence Programming Agent-Assisted Software

This paper adopts a structured narrative review method to review the research progress from the aspects of code-based models, agent control mechanisms, repository-level systems, evaluation benchmarks, and human-computer collaboration evidence, and compares the research scope and analysis focus with existing reviews on...

Yu-Zhen Li · 0 citations
#software testing Review Open access Sep 2026

Perancangan Sistem Informasi Reservasi dan Manajemen Kos-Kosan Berbasis Website Dengan Metode Agile

A web-based information system that integrates online reservations, room availability, tenant management, payment management, survey scheduling, and facility damage reporting is designed to support more efficient reservation and boarding house management at this scale.

Selestina Didi Irmaya, Afif Efendi · 0 citations
#software testing Open access Sep 2026

Synthesis and characterization of selected new thiazolidine-2,4-diones derivatives: SwissADME and density-functional-theory analysis

All newly synthesized thiazolidine-2,4-dione derivatives showed encouraging therapeutic potential according to in silico studies, suggesting that they might be a possible therapeutic target.

Bushra Ansari, M. S. Jan, Abdul Saboor Pirzada et al. · 0 citations
#software testing Open access Sep 2026

C-SDVR: Action Semantics for Contract-Aware Recovery in Repository Agents — Research Artifact

Research artifact accompanying manuscript V8.8, C-SDVR: Action Semantics for Contract-Aware Recovery in Repository Agents. The study characterizes when a second recovery seed produces a redundant or distinct projected candidate and evaluates fair fixed-action recovery controls. It does not establish practical success-r...

Xiuchi Sun · 0 citations
#software testing Open access Sep 2026

Preoperative predictive factors for opaque bubble layer formation and area during small-incision lenticule extraction: predictive models based on machine learning

We aimed to develop exploratory machine learning (ML)-based predictive models for the occurrence and area of an opaque bubble layer (OBL) during small-incision lenticule extraction (SMILE) and identify associated preoperative and surgical-planning factors. This retrospective study included 216 eyes (72 with an OBL, 144...

Chu-Zhi Peng, Xi Chen, Ying Yang et al. · 0 citations
#software testing Review Open access Sep 2026

A Text-Mining Algorithm for Identifying Drug Pairs Potentially Involved in Prescribing Cascades: Development and Internal Validation Within the Prescribing Inappropriateness Assessment (PINA) Digital Tool.

An algorithm designed to identify drug pairs potentially compatible with PCs and evaluated its classification performance may represent a scalable and reproducible strategy for supporting structured medication review and facilitating the recognition and clinical evaluation of potential PCs.

Massimo Carollo, Anna Forti, S. Crisafulli et al. · 0 citations

RecreationWorld: Scalable and Verifiable Environments for Hybrid Computer-Use Agents

This work introduces RecreationWorld, a five-platform framework built around recreation: given a running reference, an agent must discover its behavior and build a faithful implementation with no prescribed workflow, and introduces RecreationBench, comprising 250 diverse tasks across domains and platforms.

Shuai Bai, Jia-Yong Deng, Si-Cheng Fan et al. · 1 citation
#artificial intelligence Preprint Sep 2026

SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs?

Ensuring the correctness of LLM-generated code is a core challenge for modern software engineering. Benchmarks for agentic code generation check correctness with held-out test suites, which are inherently incomplete and increasingly susceptible to memorization. Formal verification avoids both problems, but existing wor...

George Ma, Benjamin Mikek, Hao-Yu Li et al. · 0 citations
#artificial intelligence Preprint Sep 2026

LEGIT: Credentialing Protocol for Trustworthy AI Agent Marketplaces

Agentic marketplaces are emerging where AI agents with varying capabilities autonomously complete specialized tasks for buyers. A major challenge of such marketplaces is that buyers cannot easily determine which agent will perform best on their tasks. Reported benchmark scores may be difficult to verify or compare acro...

Steve Drew, Jia-Yu Zhou · 0 citations
#software testing Open access Sep 2026

An efficient and cost-effective statistical voltage-based method for passive islanding detection in microgrids

Unintentional islanding is defined as the condition in which a section of the power grid continues to be energized by distributed generators after disconnection from the utility grid, for example, due to a fault. This situation remains a significant protection challenge in microgrids with high penetration of inverter-b...

Elijah Gbenga Osunkentan, R. D. dos Santos, Adedeji Adeyemi · 0 citations
#software testing Dataset Open access Sep 2026

Evolutionary alignment and derived data for TMD-proximal synonymous conservation analysis

This dataset contains the frozen comparative-alignment inputs and author-generated derived data used to support the evolutionary component of the study “Evolutionary-functional tests constrain links between TMD-proximal synonymous architecture and cotranslational membrane-protein handling.” The archive includes the exa...

MING LI · 0 citations
#software testing Open access Sep 2026

robertolocatelli81-dev/cryptovalid-opencore: cryptovalid-opencore 0.14.0 — checkpoints, witnesses, split-view evidence, SCITT

0.14.0 — checkpoints, witness cosignatures, split-view and freshness (2026-09-19) Two limits declared in the README since 2026-08-17 — split-view / equivocation and rollback / freshness were "future work" — are now measured features, built with the transparency ecosystem's own formats so that the ecosystem's own softwa...

robertolocatelli81-dev · 0 citations

From tech blogs

See all →
MIT News · Artificial Intelligence Oct 2, 2026

Documenting the tech worker movement

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.

GPT-Lab Sep 23, 2026

Requirements Don’t Live in Isolation: What We’re Exploring with Req-Space

Requirements in large systems rarely exist in isolation. Their meaning depends on the wider project context - other requirements, policies, decisions, tests, and implementation details. That becomes especially important when AI is used for review, because spotting a possible conflict or gap is only the beginning. ReqSpace explores how AI, visualisation, and connected project context can help reviewers understand those findings, trace the relationships behind them, and focus on the questions that…

GPT-Lab Sep 17, 2026

Beyond Prompt Engineering: The Role of Tacit Knowledge in Software Engineering

AI is making software generation faster, but speed does not remove the need for expertise. As more work is delegated to AI, tacit knowledge may become one of the most important human advantages in software engineering. The post Beyond Prompt Engineering: The Role of Tacit Knowledge in Software Engineering appeared first on GPT-Lab.

MIT News · Artificial Intelligence Aug 17, 2026

Q&A: Rethinking how innovation happens

In his latest book, Professor Eugene Fitzgerald examines the forces that turn breakthroughs into value — and why innovation resists simple formulas.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.