Latest Research in Test-Driven Verification Frameworks

254 research papers · 0.0 average citations · 2026 median publication year

Top Research Topics in Test-Driven Verification Frameworks

Highest-Cited Papers

  1. Making Implicit Premises Explicit in Logical Understanding of Enthymemes
  2. Tangut Word Segmentation under Extreme Resource Scarcity: Integrating Traditional Lexicons and Unlabeled Text
  3. A Configuration-First Framework for Reproducible, Low-Code Machine Learning: a Localization Use Case
  4. Code Health in LLM-Based Test Generation: Effectiveness and Token Efficiency
  5. A Locally Deployable Tool-Grounded LLM Multi-agent Framework for Automating Methane Emission Analysis and Reporting
  6. Wind Turbine Maintenance Log Labelling Framework: LLM-Driven Data Correction and Enrichment via Semantic Extraction of Reliability Intelligence
  7. A Formal Trustworthiness Construct for Large Language Model-Based Test Generation: A Multidimensional Index Empirically Evaluated Through a Multi-Agent Study
  8. VTL-FND: A Variational Topic Latent Modeling Algorithm for Fine-grained Neural Discrepancy Learning
  9. AI-Driven Semantic Processing of Notices to Air Missions for Aeronautical Information Management: Ontology-Grounded Type-Aware Extraction
  10. The Polyglot's Dilemma: Conformance Testing a Dozen Specs in as Many Languages
  11. Reinforcing Consistency in Video MLLMs with Structured Rewards
  12. Where A Small Language Model Helps in Invoice Categorisation, Understood Through Embedding Geometry
  13. REST API Testing with Verified LLM-Inferred Dependencies and Response-Driven Refinement
  14. A Comprehensive Review of Large Language Models for Nanophotonics: From Surrogate Modeling to Autonomous Design
  15. Insights Into Public Attitudes for Effective First Responder Communication During a Simulated Mass Casualty Incident
  16. Sensory Drivers and Emotional Determinants of Low- and Non-Alcoholic Beer Acceptance Among Young Romanian Consumers
  17. Understanding critical-class prioritization in class integration test order generation with a GNN-D3QN framework
  18. Test Case Generation from Large Language Mode - Systematic Mapping Studies (2023 - 2025) - Code Results
  19. Test Case Generation from Large Language Mode - Systematic Mapping Studies (2023 - 2025) - Code Results
  20. OGSAgent: an MCP-based multi-agent collaboration framework for intelligent GIServices

Sub-Regions

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
L2 Region
2026 AUG Q3

Test-Driven Verification Frameworks

254 papers

Top Topics (10)

Software Engineering48
Geographic Information Systems Studies24
Artificial Intelligence13
Computer Vision and Pattern Recognition10
Computation and Language9
Software Testing and Debugging Techniques9
Software System Performance and Reliability5
Sensory Analysis and Statistical Methods4
Machine Learning in Materials Science4
Consumer Attitudes and Food Labeling4

Top Publications (20)

1.Making Implicit Premises Explicit in Logical Understanding of Enthymemes2.Tangut Word Segmentation under Extreme Resource Scarcity: Integrating Traditional Lexicons and Unlabeled Text3.A Configuration-First Framework for Reproducible, Low-Code Machine Learning: a Localization Use Case4.Code Health in LLM-Based Test Generation: Effectiveness and Token Efficiency5.A Locally Deployable Tool-Grounded LLM Multi-agent Framework for Automating Methane Emission Analysis and Reporting6.Wind Turbine Maintenance Log Labelling Framework: LLM-Driven Data Correction and Enrichment via Semantic Extraction of Reliability Intelligence7.A Formal Trustworthiness Construct for Large Language Model-Based Test Generation: A Multidimensional Index Empirically Evaluated Through a Multi-Agent Study8.VTL-FND: A Variational Topic Latent Modeling Algorithm for Fine-grained Neural Discrepancy Learning9.AI-Driven Semantic Processing of Notices to Air Missions for Aeronautical Information Management: Ontology-Grounded Type-Aware Extraction10.The Polyglot's Dilemma: Conformance Testing a Dozen Specs in as Many Languages11.Reinforcing Consistency in Video MLLMs with Structured Rewards12.Where A Small Language Model Helps in Invoice Categorisation, Understood Through Embedding Geometry13.REST API Testing with Verified LLM-Inferred Dependencies and Response-Driven Refinement14.A Comprehensive Review of Large Language Models for Nanophotonics: From Surrogate Modeling to Autonomous Design15.Insights Into Public Attitudes for Effective First Responder Communication During a Simulated Mass Casualty Incident16.Sensory Drivers and Emotional Determinants of Low- and Non-Alcoholic Beer Acceptance Among Young Romanian Consumers17.Understanding critical-class prioritization in class integration test order generation with a GNN-D3QN framework18.Test Case Generation from Large Language Mode - Systematic Mapping Studies (2023 - 2025) - Code Results19.Test Case Generation from Large Language Mode - Systematic Mapping Studies (2023 - 2025) - Code Results20.OGSAgent: an MCP-based multi-agent collaboration framework for intelligent GIServices

Sub-Regions (6)

AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.