Data · dataset · 2026
Improving Dynamic Specification Inference with LLM-Generated Counterexamples [* Cross-Reference *]
Listed in LORE
**SpecValid** is a tool that uses Large Language Models (LLMs) to generate JUnit test cases designed to violate postconditions of Java methods.
Description
Generated tests are validated through dynamic invariant detection with Daikon, enabling automated specification inference. This artifact provides: - The full source code of SpecValid - All experimental subjects (via GAssert), precomputed specifications (via SpecFuzzer), and Daikon for invariant detection - A Docker-based reproducible environment to re-run the experiments reported in the paper ***This entry has been automatically imported via Datacite by LIST harvest scripts.
Please refer to doi.org/10.5281/zenodo.18898065 for the original and latest version of the dataset and data downloads***
Links
Where it is published
- Dataverse dataset page lore.list.lu/dataset.xhtml?persistentId=perma%3ALIST.Q7DKUN ↗
landing page · from lore list lu
- Persistent identifier lore.list.lu/citation?persistentId=perma%3ALIST.Q7DKUN ↗
DOI / persistent id · from lore list lu
Catalogue records · 1
- Dataverse API lore.list.lu/api/datasets/:persistentId/?persistentId=perma%3ALIST.Q7DKUN ↗
metadata API · from lore list lu
Topics
- Stated by source
- Computer and Information Science
- From keywords
- Computer Science & AI
Related
Provenance · 1 source records, 8 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| LORE | perma:LIST.Q7DKUN | 6 h ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].dataverse_subject:computer-and-information-science | source · lore list lu | connector:lore_list_lu@1.0.0 | /subjects |
| concepts[field].local:field:computer-science-ai | mapping · lore list lu | connector:lore_list_lu@1.0.0 | /subjects |
| created_date | source · lore list lu | connector:lore_list_lu@1.0.0 | |
| description | source · lore list lu | connector:lore_list_lu@1.0.0 | /description |
| publication_date | source · lore list lu | connector:lore_list_lu@1.0.0 | |
| title | source · lore list lu | connector:lore_list_lu@1.0.0 | /name |
| updated_date | source · lore list lu | connector:lore_list_lu@1.0.0 | |
| version_label | source · lore list lu | connector:lore_list_lu@1.0.0 |