
v28 snapshot of the Specification Enrichment reference implementation + empirical evaluation, prepared for submission to e-Informatica Software Engineering Journal. Supersedes v1.0.0 / v2-precommit. The v28 manuscript restructures the empirical section so the prospectively-pinned visitor-kiosk multi-seed (§4.2) leads as the primary test of the structural coverage-expansion claim, with the retrospectively-seeded TodoMVC results demoted to supplementary illustration. Contains: ~1,200 lines of TypeScript reference implementation (enricher, meta-prompt, pipeline, judge, harness); offline stub provider + live anthropic + ollama provider adapters; LLM-as-judge evaluator with position-bias guard; multi-seed harness (count-matched, enhanced, threshold sweep, visitor-kiosk); audit protocol; all result JSONs under results/; v28 manuscript and EISEJ cover letter. Headline numbers (visitor-kiosk multi-seed, prospectively-pinned, claude-sonnet-4-6 at temperature 0, 3 seeds): Enriched-16 produces a coverage expansion in some implicit-failure-mode category that no count-matched or category-diversity-instructed baseline reaches — 3/3 seeds. Enriched-16 accepted-as-is rate is exactly 81.3% in every seed (range 0.0 pp); both baselines move 18.7 pp seed-to-seed. The enrichment stage itself is essentially deterministic at temperature 0 on this design. Pre-registration: N/A for this artefact; the contribution is a pipeline pattern + reference implementation rather than a pre-registered empirical study.
implicit-constraint elicitation, LLM-augmented testing, empirical software engineering, Cohen's kappa, test oracle problem, specification enrichment, design-to-test pipelines, LLM-as-judge evaluation
implicit-constraint elicitation, LLM-augmented testing, empirical software engineering, Cohen's kappa, test oracle problem, specification enrichment, design-to-test pipelines, LLM-as-judge evaluation
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
