STMutants is the first publicly available mutation testing benchmark for IEC 61131-3 Structured Text programs, with 108 retained mutants from 11 sources and LLM detection accuracies up to 94.4%.
Automated control logic test case generation using large language models,
2 Pith papers cite this work. Polarity classification is still indexing.
fields
cs.SE 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
A clustering-based pipeline generates individual and integration-level test specifications from thousands of automotive requirements by grouping embeddings, summarizing clusters, and applying LLM calls with bounded context and standards grounding.
citing papers explorer
-
STMutants: A Mutation Testing Dataset for Structured Text Programs in Industrial Automation
STMutants is the first publicly available mutation testing benchmark for IEC 61131-3 Structured Text programs, with 108 retained mutants from 11 sources and LLM detection accuracies up to 94.4%.
-
Cluster-Aware Dual-Level Test Specification Generation for Large-Scale Automotive Software Requirements
A clustering-based pipeline generates individual and integration-level test specifications from thousands of automotive requirements by grouping embeddings, summarizing clusters, and applying LLM calls with bounded context and standards grounding.