Category
2,748 papers
UDCF Instrumented Pendulum Cutting Rig v3.1 The repository contains the source code for the UDCF Instrumented Pendulum Cutting Rig v3.1. This simulator serves as a Digital Twin, allowing researchers to predict severance success (η ≥ 1) or sub-critical impact based on the kinematic energy of a swinging pendulum. Version...
Companion archive for the paper "Product-Level Test Generation from Featured Transition Systems", accepted at the 17th IFIP International Conference on Testing Software and Systems (ICTSS 2026) and published in the Springer Lecture Notes in Computer Science series. The archive collects the unabridged experimental table...
AILEE Trust Layer — V8.1 Release Note (Calibration + Hardened Brooks Domain Validation) Date: September 16, 2026 Author: Don Michael License: MIT Location: Warrington, PA Disclaimer: This release note describes independent exploratory work. It is not acknowledged, approved, or endorsed by Brooks Instrument and does not...
This replication package provides complete implementations to fully reproduce the experiments from our paper Reconstructing Objects for Software Testing.
Reach audiences
Advertise in front of researchers, engineers, and readers.
Document 74 // Monograph Series on Causal Inertia & Epistemic Governance Author: Marius Egerhei Torjusen (ORCID: 0009-0006-0431-6637) Affiliation: Chief Architect, ReismannPoint Systems // Brahman Ventures (Locus Zero Research Division, Risør, Norway) Series Lineage: Direct operational, mathematical, and physical succe...
Document 74 // Monograph Series on Causal Inertia & Epistemic Governance Author: Marius Egerhei Torjusen (ORCID: 0009-0006-0431-6637) Affiliation: Chief Architect, ReismannPoint Systems // Brahman Ventures (Locus Zero Research Division, Risør, Norway) Series Lineage: Direct operational, mathematical, and physical succe...
A large-scale empirical study of quality assurance (QA) practices in 157 open-source LLM-based agent projects with at least 100 GitHub stars highlights the need to move beyond feature-level testing toward systematic end-to-end validation that ensures agent workflows remain within intended boundaries when interacting wi...
C++-Eval: A C++ Evaluation Benchmark for Large Language Models C++-Eval is a comprehensive benchmark for evaluating the C++ code generation capabilities of Large Language Models (LLMs), with a focus on complex memory management and industrial-grade software engineering requirements. Dataset Statistics 200 multi-level C...
The proposed computer vision framework represents a cost-effective advancement in surgical digitisation, enabling accurate instrument tracking using standard video data and supporting future optimisation of orthopaedic surgical practice with significant implications for clinical research.
It was found that the velocity is positively affected by higher values of porosity and Reynolds number, particularly in the case of wall deformation, while the temperature distribution behaves the opposite way as it is affected by wall injection and suction under higher Reynolds number and porosity conditions.
Use case flows are important elements of use case modeling because they support downstream software engineering activities, including requirements analysis, architectural and detailed design, and test case generation. However, constructing them manually is costly and expertise-intensive, while existing automated approa...
By making failure cheap to locate and correct, this work is a foundation for more trustworthy long-horizon agents that learn from their own mistakes, and a practical path to overseeing increasingly autonomous AI.
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.
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
· gpt-lab.eu
Sep 23, 2026
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
· gpt-lab.eu
Sep 17, 2026
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.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
