Skip to content

Category

software testing

2,999 papers

Project evaluation automation for computer aided design course projects in technical education

As is the case in all education systems, assessment in computer-aided design (CAD) education must be objective and carried out using standardised methods. The large number of students, and the fact that students’ understanding of design and their proficiency in using CAD software may remain at a low level, are among th...

Güllü Akkaş, Feyza Gürbüz, Ercan Karaköse · 0 citations
#software testing Open access Oct 2026

DEVELOPMENT OF A WEB SERVICE FOR INTEGRATION OF A PAYMENT SYSTEM WITH A UNIFIED PORTAL OF PUBLIC SERVICES

Electronic government (e-Government) is a new form of organizing the activities of public authorities. Information and communication technologies (primarily the Internet) are widely used here, in order to increase efficiency and transparency [1]. An integral part of e-Government is e-Payment. e-Payments release in many...

Азиззода Хисрав Азиз · 0 citations
#software testing Open access Oct 2026

Code Supplement for: Causal Calendar-Factor Updating for Small-Sample Monthly AQI Forecasting from Monitoring Records

Version 1.2.0 code-only supplement for the revised manuscript. Includes revision analysis scripts and tests, model-grid specifications, recorded software and seed metadata, and SHA-256 fingerprints for retained input files. Real AQI inputs and data-derived outputs are excluded because redistribution permission has not...

Yanqing Li, Xiaohong Dong, Yu Gao · 0 citations
#software testing Open access Oct 2026

ChronosComm C1: Reproducible Decoder and Synchronization Benchmarks

This report presents a reproducible performance study of the ChronosComm C1 synchronization and decoding model, building on its previously Lean-verified mathematical framework. It compares the exact-rational Python reference, an integer decoder, and an independently implemented conventional controller using the same fe...

Matthew Hall · 0 citations
#software testing Open access Oct 2026

Perceived gym service quality, leisure boredom, and loneliness among leisure sport participants: a cross-sectional study

This study aims to examine the relationships among perceived gym service quality, leisure boredom, and loneliness among leisure sport participants, and to examine the statistical indirect relationship between perceived gym service quality and loneliness in relation to leisure boredom. This research was con...

Faik Orhun Tapşın, Gökhan Çakmak, Fuat Orkun Tapşın · 0 citations
#software testing Open access Oct 2026

VEYRA-SPAWN: Toward Universal Nanofabrication through Persistent-State Geometry and Checked Spawn Compilation - Mathematical Transfer from a Recent Quasi-Riemann Proof

VEYRA-SPAWN is a detailed theoretical and computational research release investigating a route toward universal nanofabrication: converting an object specification into a material transformation program whose reachability, unwanted reactions, uncertainty, preparation requirements, and execution time can be examined and...

Eve Artificial Hyperintelligence, Maciej Nowicki · 0 citations
#software testing Open access Oct 2026

Forecast register with prospective decision rules

A register of fixed-number claims in the author's exploratory vacuum-mechanics framework, with formulas or frozen stated values, inputs, ordinary comparators, decision rules, dependencies, and a retained correction history. It contains 104 entries, including 59 live numerical candidates, 14 binary or bounded candidates...

Luqman Mahmood · 0 citations
#software testing Open access Oct 2026

The Missing Evidence Layer of the UN 2030 Agenda: How Decision Basis Records could make institutional accountability portable

The Missing Evidence Layer of the UN 2030 Agenda examines a gap in the infrastructure used when consequential institutional decisions cross organizational, national, or machine boundaries. Institutions have increasingly shared ways to establish identity, move money, and exchange data, but no generally adopted, sector-n...

Alexander Barrett · 0 citations
#software testing Open access Oct 2026

Analysis Code and Risk Calculator for "Predicting Anisometropia in Children: Landmark Model Comparisons of Early Interocular Axial and Refractive Changes"

This software package accompanies the manuscript “Predicting Anisometropia in Children: Landmark Model Comparisons of Early Interocular Axial and Refractive Changes”. It provides statistical analysis code, input dictionaries, model specifications, and a bilingual risk calculator. The analysis modules cover model fittin...

Shiwei Guo · 0 citations
#software testing Open access Oct 2026

Ready to Build: The Verified Rehydration Agent as an Execution-Neutral Specification, Verified Across Five Paradigms

We present and demonstrate a property of software specifications that we term execution-neutral buildability. A normative specification has this property when it fixes the system's required behavior and makes any implementation mechanisms it leaves open explicit and bounded by stated obligations. Implementing it is pro...

Semantichor · 0 citations
#software testing Dataset Open access Oct 2026

Data from: Acoustic refurbishment of a Korean traditional music hall: listener judgements and physiological responses

De-identified participant-level data and analysis code supporting the article "Acoustic refurbishment of a Korean traditional music hall: listener judgements and physiological responses". Thirty-three listeners heard binaural auralisations of Yeakdang Hall, a hall for Korean traditional music (gugak) at the National Gu...

Jin Yong Jeon, Beta Bayu Santika, Haram Lee et al. · 0 citations
#software testing Open access Oct 2026

Replication package (Level 1, public) for "Auditing successor selection in software repository mining: Evidence from filtering AI-attributed commits"

Level-1 (public) replication package of the article Auditing successor selection in software repository mining: Evidence from filtering AI-attributed commits (H. Jeong, Hanyang University ERICA; manuscript submitted to the Journal of Systems and Software). Contents: the audit tool (Python, standard library only) with i...

Hongwon Jeong · 0 citations

From tech blogs

See all →
Microsoft Research Blog Oct 12, 2026

Simulating student learning for better AI tutoring

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 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.

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…

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