Refactoring React Component Hierarchies to Eliminate Prop Drilling
arXiv:2610.01376v2 Announce Type: replace Abstract: In React front-end development, Prop Drilling is the practice of propagating data through component properti…
EnglisharXiv cs.SE
最新资讯
言栖资讯收录 195263 篇 AI、开发与建站文章，按发布时间排序，支持搜索与按语言筛选。
SaltBench: A Referee-Gated Protocol for Measuring Method Effects in Machine-Checked Software Work
arXiv:2609.11076v4 Announce Type: replace Abstract: SaltBench asks how a machine referee (a proof kernel, program verifier or withheld test suite) changes how a…
EnglisharXiv cs.SE
Vibe Coding in Software Development: A Multivocal Literature Review
arXiv:2607.21652v2 Announce Type: replace Abstract: Vibe coding is an AI-assisted software development approach in which developers express intent in natural la…
EnglisharXiv cs.SE
Large Language Models for Multi-Lingual Equivalent Mutant Detection: An Extended Empirical Study
arXiv:2607.00511v2 Announce Type: replace Abstract: Mutation testing is a powerful technique for ensuring software quality. However, the presence of equivalent …
EnglisharXiv cs.SE
Characterizing Robustness in Semantic Code Clone Detection
arXiv:2606.25272v2 Announce Type: replace Abstract: Semantic code clone detection seeks to recognize shared functionality across different implementations, maki…
EnglisharXiv cs.SE
AI Slop and the Software Commons
arXiv:2604.16754v4 Announce Type: replace Abstract: We argue that AI slop in software development is creating a tragedy of the commons. Slop is cheap to generat…
EnglisharXiv cs.SE
QDiff: Differential Testing of Quantum Software Stacks
arXiv:2611.08220v1 Announce Type: cross Abstract: Over the past few years, several quantum software stacks (QSS) have been developed in response to rapid hardwa…
EnglisharXiv cs.SE
Detecting Silent Faults at the Environment-Trainer Boundary in Reinforcement Learning
arXiv:2611.08144v1 Announce Type: cross Abstract: Robot reinforcement learning increasingly runs environments outside the trainer: in another process, on anothe…
EnglisharXiv cs.SE
Symmetry-Aware Surrogate-Assisted Testing of UAVs
arXiv:2611.08012v1 Announce Type: cross Abstract: We investigate a symmetry-aware surrogate-assisted testing approach for UAV autopilots. The proposed approach …
EnglisharXiv cs.SE
tok: a textual concrete syntax of BPMN and DMN for humans and AI agents
arXiv:2611.07945v1 Announce Type: cross Abstract: tok is a plain-text notation for Business Process Model and Notation (BPMN) 2.0.2 process models and Decision …
EnglisharXiv cs.SE
Don't Prompt Your Agents. Equip Them: Skillware as a Modular Standard for Sovereign, Auditable, and Deterministic Capability Execution for Logical Systems
arXiv:2611.07652v1 Announce Type: cross Abstract: Current autonomous logical systems rely on a fragile assumption: that language models should dynamically write…
EnglisharXiv cs.SE
Rule-Guided and Trajectory-Aware Repair for LLM-Based HLS Generation
arXiv:2611.07324v1 Announce Type: cross Abstract: Large language models (LLMs) offer a promising path for directly generating functionally correct and synthesiz…
EnglisharXiv cs.SE
Code, Commits, and Complexity in the GenAI Era: A Longitudinal Study of Team-Based Capstone Projects
arXiv:2611.07297v1 Announce Type: cross Abstract: Generative AI tools are now widely available to students, but little is known about how team-based project cod…
EnglisharXiv cs.SE
Follow the Policy, Fail the Benchmark: Auditing and Revising Policy-Based Decision Benchmarks
arXiv:2611.07042v1 Announce Type: cross Abstract: Policy-based decision benchmarks evaluate whether systems apply written rules to financial and operational cas…
EnglisharXiv cs.SE
Replay Is a Family of Assertions: Fork-Safety in Event-Sourced Agent Runtimes
arXiv:2611.06924v1 Announce Type: cross Abstract: Event-sourced agent runtimes commonly claim deterministic replay, cheap forking, and lineage. These are famili…
EnglisharXiv cs.SE
Cognitive Tours: Making Understanding a Deliverable in AI-Assisted Development
arXiv:2611.08456v1 Announce Type: new Abstract: Generative AI and agentic coding are accelerating software development, leading to concerns about technical debt…
EnglisharXiv cs.SE
Hard Issue, Weak Model, or Bad Run? Rethinking Failure Prediction for Coding Agents
arXiv:2611.08285v1 Announce Type: new Abstract: Trajectory-based failure predictors for software engineering (SE) agents read the partial trajectory of a run to…
EnglisharXiv cs.SE
Accepted but Wrong: Silent Failures of LLM Code Repairs after API Migrations
arXiv:2611.08269v1 Announce Type: new Abstract: After a runtime or API migration, an LLM-repaired procedure can run cleanly yet return wrong results, and a rele…
EnglisharXiv cs.SE
RouteAlign: Aligning Task Requirements with Model Profiles for LLM Service Selection
arXiv:2611.08162v1 Announce Type: new Abstract: LLM service selection requires performance evidence that reflects the demands of the current task. Aggregate sco…
EnglisharXiv cs.SE
Information Loss Is All You Need: $TC^0$ Pseudorandomness from Worst-Case Lattices
arXiv:2611.05136v2 Announce Type: replace-cross Abstract: Can deterministic information loss yield post-quantum pseudorandomness with $TC^0$ evaluation? We show…
EnglisharXiv cs.CR