Conceptio
›
software-testing
Topic
software-testing
Knowledge-graph topic
· documents ABOUT software-testing across the archive
17
Documents about software-testing
Documents about software-testing
PlayCoder: Making LLM-Generated GUI Code Playable
#124124
arXiv CS
Towards Formalising Stakeholder Context using SysML v2
#124129
arXiv CS
Learning Reasoning World Models for Parallel Code
#126598
arXiv CS
Verifier Warnings Do Not Improve Comprehensibility Prediction
#134616
arXiv CS
Query2Diagram: Answering Developer Queries with UML Diagrams
#139008
arXiv CS
RAT: RunAnyThing via Fully Automated Environment Configuration
#139024
arXiv CS
A Shallow Embedding of Datalog in Lean
#155397
arXiv CS
Agentic Repository Mining: A Multi-Task Evaluation
#168395
arXiv CS
Reproduction Test Generation for Java SWE Issues
#168415
arXiv CS
Unitaria: Quantum Linear Algebra via Block Encodings
#175316
arXiv CS
Uncertainty Quantification for LLM-based Code Generation
#178936
arXiv CS
ContractBench: Can LLM Agents Preserve Observation Contracts?
#200571
arXiv CS
Rover: Context-aware Conflict Resolution with LLM
#200572
arXiv CS
Provable Fairness Repair for Deep Neural Networks
#204849
arXiv CS
A Dataset of Reproducible Flaky-Test Failures
#216895
arXiv CS
AgentAtlas: Beyond Outcome Leaderboards for LLM Agents
#216916
arXiv CS
ProDebug: An Automated Debugging System for Prolog
#229558
arXiv CS
CelerLog: Fast Log Parsing via Dynamic Routing
#229575
arXiv CS
Projectional Decoding: Towards Semantic-Aware LLM Generation
#241557
arXiv CS
Laguna M.1/XS.2 Technical Report
#241588
arXiv CS
NTILC: Neural Tool Invocation via Learned Compression
#266252
arXiv CS
Structuring agentic AI for HPC code modernization
#267719
arXiv CS
Quasilinear Equivalence Checking for Detector Error Models
#271900
arXiv CS
Agentic Electronic Design Automation: A Handoff Perspective
#290650
arXiv CS
EnterpriseClawBench: Benchmarking Agents from Real Workplace Sessions
#299988
arXiv CS
EnerInfer: Energy-Aware On-Device LLM Inference
#299997
arXiv CS
Integrating Heterogeneous Digital Twins in Federated Ecosystems
#299999
arXiv CS
Integration of an Agent Model into an Open Simulation Architecture for Scenario-Based Testing of Automated Vehicles
#180718
arXiv CS
Shift-Up: A Framework for Software Engineering Guardrails in AI-native Software Development -- Initial Findings
#124117
arXiv CS
Towards Improving the External Validity of Software Engineering Experiments with Transportability Methods
#2667
arXiv CS
Beyond Human-Readable: Rethinking Software Engineering Conventions for the Agentic Development Era
#2687
arXiv CS
Evaluating Repository-level Software Documentation via Question Answering and Feature-Driven Development
#2699
arXiv CS
Toward an Architectural Blueprint to Observe Sustainability in and by Software Systems
#6029
arXiv CS
LLMs Are Not a Silver Bullet: A Case Study on Software Fairness
#13162
arXiv CS
Towards Enabling An Artificial Self-Construction Software Life-cycle via Autopoietic Architectures
#14088
arXiv CS
Bias in the Loop: Auditing LLM-as-a-Judge for Software Engineering
#120615
arXiv CS
Mitigating Prompt-Induced Cognitive Biases in General-Purpose AI for Software Engineering
#120617
arXiv CS
Autonomous LLM-generated Feedback for Student Exercises in Introductory Software Engineering Courses
#124111
arXiv CS
Evaluation of LLM-Based Software Engineering Tools: Practices, Challenges, and Future Directions
#138988
arXiv CS
KISS Sorcar: A Stupidly-Simple General-Purpose and Software Engineering AI Assistant
#139007
arXiv CS
Exploring Sustainability in Scientific Software through Code Quality & Test Coverage Metrics
#155372
arXiv CS
An Empirical Study of Proactive Coding Assistants in Real-World Software Development
#168389
arXiv CS
CIDR: A Large-Scale Industrial Source Code Dataset for Software Engineering Research
#178938
arXiv CS
At What Cost? Software Developers' Well-Being in the Age of GenAI
#216887
arXiv CS
ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
#229559
arXiv CS
Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
#229573
arXiv CS
SLRMentor: An LLM-Based Tool Supporting Learning of SLR in Software Engineering
#267737
arXiv CS
Reference Architecture for Metadata-driven Services to Promote Reusability in Software Systems
#282871
arXiv CS
Open-SWE-Traces: Advancing Dual-Mode Multilingual Distillation for Software Engineering Agents
#282878
arXiv CS
Toward Semantically-Seeded, Graph-Propagated Impact Analysis Across Software Artifacts: A Vision
#287192
arXiv CS
← Previous
Page 4 of 20
Next →
Topic record
· derived from the Conceptio knowledge graph (shared subject terms across the corpus)
Conceptio Open Knowledge Archive — topic hubs link to canonical document pages with full provenance.