Cover Image

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rodríguez, María Belén, Bos, Petra van den
Format:	Preprint
Published:	2026
Subjects:	Software Engineering D.2.5; D.2.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Synthesizing Test Cases for Narrowing Specification Candidates
by: Cunha, Alcino, et al.
Published: (2025)

Validating Formal Specifications with LLM-generated Test Cases
by: Cunha, Alcino, et al.
Published: (2025)

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
by: Prasetya, I. S. W. B., et al.
Published: (2026)

AgentAssay: Token-Efficient Regression Testing for Non-Deterministic AI Agent Workflows
by: Bhardwaj, Varun Pratap
Published: (2026)

Test-Driven AI Agent Definition (TDAD): Compiling Tool-Using Agents from Behavioral Specifications
by: Rehan, Tzafrir
Published: (2026)

Causal Models in Requirement Specifications for Machine Learning: A vision
by: Heyn, Hans-Martin, et al.
Published: (2025)

A Catalog of Transformations to Remove Smells From Natural Language Tests
by: Aranda, Manoel, et al.
Published: (2024)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
by: Chen, Jinbao, et al.
Published: (2024)

Towards an Approach to Pattern-based Domain-Specific Requirements Engineering
by: Chuprina, T., et al.
Published: (2024)

A Comprehensive Study on Large Language Models for Mutation Testing
by: Wang, Bo, et al.
Published: (2024)

Automated Generation of Issue-Reproducing Tests by Combining LLMs and Search-Based Testing
by: Kitsios, Konstantinos, et al.
Published: (2025)

A Survey of the Metrics, Uses, and Subjects of Diversity-Based Techniques in Software Testing
by: Elgendy, Islam T., et al.
Published: (2023)

VLM-Fuzz: Vision Language Model Assisted Recursive Depth-first Search Exploration for Effective UI Testing of Android Apps
by: Demissie, Biniam Fisseha, et al.
Published: (2025)

Tests4Py: A Benchmark for System Testing
by: Smytzek, Marius, et al.
Published: (2023)

E-Test: E'er-Improving Test Suites
by: Qiu, Ketai, et al.
Published: (2025)

On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
by: Salva, Sébastien, et al.
Published: (2025)

From Machine Learning Documentation to Requirements: Bridging Processes with Requirements Languages
by: Peng, Yi, et al.
Published: (2025)

The Future of AI-Driven Software Engineering
by: Terragni, Valerio, et al.
Published: (2024)

Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
by: Liu, Kuangxiangzi, et al.
Published: (2025)

Fuzzing the brain: Automated stress testing for the safety of ML-driven neurostimulation
by: Downing, Mara, et al.
Published: (2025)

PALM: Path-aware LLM-based Test Generation with Comprehension
by: Wu, Yaoxuan, et al.
Published: (2025)

CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation
by: Kiecker, Tobias, et al.
Published: (2026)

Multi-modal Traffic Scenario Generation for Autonomous Driving System Testing
by: Tu, Zhi, et al.
Published: (2025)

Automated Test Generation from Program Documentation Encoded in Code Comments
by: Denaro, Giovanni, et al.
Published: (2025)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
by: Yu, Boxi, et al.
Published: (2026)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
by: Yoon, Gangho, et al.
Published: (2025)

Prompts Blend Requirements and Solutions: From Intent to Implementation
by: Chakraborty, Shalini, et al.
Published: (2026)

Large Language Models in Software Documentation and Modeling: A Literature Review and Findings
by: Radosky, Lukas, et al.
Published: (2026)

How Do Developers Structure Unit Test Cases? An Empirical Study from the "AAA" Perspective
by: Wei, Chenhao, et al.
Published: (2024)

Early-Stage Requirements Transformation Approaches: A Systematic Review
by: Letsholo, Keletso J.
Published: (2024)

A Data Annotation Requirements Representation and Specification (DARS)
by: Peng, Yi, et al.
Published: (2025)

SpecOps: A Fully Automated AI Agent Testing Framework in Real-World GUI Environments
by: Ahmed, Syed Yusuf, et al.
Published: (2026)

Which Combination of Test Metrics Can Predict Success of a Software Project? A Case Study in a Year-Long Project Course
by: Filipovic, Marina, et al.
Published: (2024)

Empirical Analysis of Temporal and Spatial Fault Characteristics in Multi-Fault Bug Repositories
by: Callaghan, Dylan, et al.
Published: (2025)

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
by: Paltenghi, Matteo, et al.
Published: (2023)

Systematic Evaluation of Black-Box Checking for Fast Bug Detection
by: Pellen, Bram, et al.
Published: (2025)

Plug it and Play on Logs: A Configuration-Free Statistic-Based Log Parser
by: Qin, Qiaolin, et al.
Published: (2025)

Large Language Models (LLMs) for Requirements Engineering (RE): A Systematic Literature Review
by: Zadenoori, Mohammad Amin, et al.
Published: (2025)

Think Like an Engineer: A Neuro-Symbolic Collaboration Agent for Generative Software Requirements Elicitation and Self-Review
by: Zhang, Sai, et al.
Published: (2025)

Flow-of-Action: SOP Enhanced LLM-Based Multi-Agent System for Root Cause Analysis
by: Pei, Changhua, et al.
Published: (2025)