Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Babikian, Aren A., Semeráth, Oszkár, Varró, Dániel
Format:	Preprint
Published:	2023
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Abductive Vibe Coding (Extended Abstract)
by: Murphy, Logan, et al.
Published: (2026)

LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
by: Chen, Boqi, et al.
Published: (2025)

Proceedings 16th International Workshop on Graph Computation Models
by: Lambers, Leen, et al.
Published: (2026)

Projectional Decoding: Towards Semantic-Aware LLM Generation
by: Chen, Boqi, et al.
Published: (2026)

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
by: Murphy, Logan, et al.
Published: (2025)

Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation
by: Chen, Boqi, et al.
Published: (2024)

JunoBench: A Benchmark Dataset of Crashes in Python Machine Learning Jupyter Notebooks
by: Wang, Yiran, et al.
Published: (2025)

Runtime-Augmented LLMs for Crash Detection and Diagnosis in ML Notebooks
by: Wang, Yiran, et al.
Published: (2026)

Generative AI in Simulation-Based Test Environments for Large-Scale Cyber-Physical Systems: An Industrial Study
by: Sadrnezhaad, Masoud, et al.
Published: (2025)

Why do Machine Learning Notebooks Crash? An Empirical Study on Public Python Jupyter Notebooks
by: Wang, Yiran, et al.
Published: (2024)

ALPINE: An adaptive language-agnostic pruning method for language models for code
by: Saad, Mootez, et al.
Published: (2024)

On Inter-dataset Code Duplication and Data Leakage in Large Language Models
by: López, José Antonio Hernández, et al.
Published: (2024)

Hierarchical Evaluation of Software Design Capabilities of Large Language Models of Code
by: Saad, Mootez, et al.
Published: (2025)

SENAI: Towards Software Engineering Native Generative Artificial Intelligence
by: Saad, Mootez, et al.
Published: (2025)

RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search
by: Wang, Siao, et al.
Published: (2025)

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
by: Chen, Boqi, et al.
Published: (2024)

SHERPA: A Model-Driven Framework for Large Language Model Execution
by: Chen, Boqi, et al.
Published: (2025)

LAPIS: Lightweight API Specification for Intelligent Systems
by: Garcia, Daniel
Published: (2026)

SeBERTis: A Framework for Producing Classifiers of Security-Related Issue Reports
by: Masoumzadeh, Sogol, et al.
Published: (2025)

Extracting Formal Specifications from Documents Using LLMs for Automated Testing
by: Li, Hui, et al.
Published: (2025)

Towards a Framework for Operationalizing the Specification of Trustworthy AI Requirements
by: Villamizar, Hugo, et al.
Published: (2025)

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
by: Faria, João Pascoal, et al.
Published: (2026)

A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
by: Meloche, Regan, et al.
Published: (2025)

From Specification to Service: Accelerating API-First Development Using Multi-Agent Systems
by: Chauhan, Saurabh, et al.
Published: (2025)

Automated Program Repair Based on REST API Specifications Using Large Language Models
by: Yamagishi, Katsuki, et al.
Published: (2025)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
by: Granberry, George, et al.
Published: (2025)

Exploring Individual Factors in the Adoption of LLMs for Specific Software Engineering Purposes
by: Lambiase, Stefano, et al.
Published: (2025)

Specification Vibing for Automated Program Repair
by: Zhu, Taohong, et al.
Published: (2026)

Exploring the Effectiveness of Abstract Syntax Tree Patterns for Algorithm Recognition
by: Neumüller, Denis, et al.
Published: (2026)

GUI Test Migration via Abstraction and Concretization
by: Zhang, Yakun, et al.
Published: (2024)

Adventures in FRET and Specification
by: Farrell, Marie, et al.
Published: (2025)

AgentDAO: Synthesis of Proposal Transactions Via Abstract DAO Semantics
by: Ao, Lin, et al.
Published: (2025)

Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)
by: Bombarda, Andrea, et al.
Published: (2026)

Privacy by Design: Aligning GDPR and Software Engineering Specifications with a Requirements Engineering Approach
by: Kosenkov, Oleksandr, et al.
Published: (2025)

SESR-Eval: Dataset for Evaluating LLMs in the Title-Abstract Screening of Systematic Reviews
by: Huotala, Aleksi, et al.
Published: (2025)

Specification Slicing for VDM-SL
by: Oda, Tomohiro, et al.
Published: (2024)

Investigating Traffic Accident Detection Using Multimodal Large Language Models
by: Skender, Ilhan, et al.
Published: (2025)

Automated Validation of Insurance Applications against Calculation Specifications
by: Datar, Advaita, et al.
Published: (2022)

Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
by: Chen, Zehan, et al.
Published: (2026)

From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations
by: Hassani, Shabnam, et al.
Published: (2025)