Buchumschlag

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kratz, Maximilian, Zschaler, Steffen, Kosiol, Jens, Taentzer, Gabriele
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering D.2.1; D.2.2; D.2.3; D.3.4; G.1.6
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Graph-Based Specification and Automated Construction of ILP Problems
von: Ehmes, Sebastian, et al.
Veröffentlicht: (2022)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
von: Kratz, Maximilian, et al.
Veröffentlicht: (2025)

Constrained LTL Specification Learning from Examples
von: Zhang, Changjian, et al.
Veröffentlicht: (2024)

Teaching Complex Systems based on Microservices
von: Ferreira, Renato Cordeiro, et al.
Veröffentlicht: (2025)

Causal Models in Requirement Specifications for Machine Learning: A vision
von: Heyn, Hans-Martin, et al.
Veröffentlicht: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
von: Lauer, Alexander, et al.
Veröffentlicht: (2026)

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

Code Documentation and Analysis to Secure Software Development
von: Attie, Paul, et al.
Veröffentlicht: (2024)

Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP
von: Vogel, Martin, et al.
Veröffentlicht: (2026)

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

Early-Stage Requirements Transformation Approaches: A Systematic Review
von: Letsholo, Keletso J.
Veröffentlicht: (2024)

SIADAFIX: issue description response for adaptive program repair
von: Cao, Xin, et al.
Veröffentlicht: (2025)

Characterizing JavaScript Security Code Smells
von: Kambhampati, Vikas, et al.
Veröffentlicht: (2024)

JITScope: Interactive Visualization of JIT Compiler IR Transformations
von: Dalbo, Kyra, et al.
Veröffentlicht: (2025)

Model Generation with LLMs: From Requirements to UML Sequence Diagrams
von: Ferrari, Alessio, et al.
Veröffentlicht: (2024)

PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
von: Ariamajd, Armin, et al.
Veröffentlicht: (2025)

Litrepl: Literate Paper Processor Promoting Transparency More Than Reproducibility
von: Mironov, Sergei
Veröffentlicht: (2025)

NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories
von: Chen, Xinfang, et al.
Veröffentlicht: (2025)

IACDM: Interactive Adversarial Convergence Development Methodology -- A Structured Framework for AI-Assisted Software Development
von: Moreira, Jasmine
Veröffentlicht: (2026)

Myriad People Open Source Software for New Media Arts
von: Baudry, Benoit, et al.
Veröffentlicht: (2025)

L2MAC: Large Language Model Automatic Computer for Extensive Code Generation
von: Holt, Samuel, et al.
Veröffentlicht: (2023)

Scattered Forest Search: Smarter Code Space Exploration with LLMs
von: Light, Jonathan, et al.
Veröffentlicht: (2024)

How to Drawjectory? -- Trajectory Planning using Programming by Demonstration
von: Alkewitz, Leonhard, et al.
Veröffentlicht: (2024)

Addressing Visual Impairments with Model-Driven Engineering: A Systematic Literature Review
von: Michael, Judith, et al.
Veröffentlicht: (2025)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
von: Ravi, Ravin, et al.
Veröffentlicht: (2026)

Memory Management and Contextual Consistency for Long-Running Low-Code Agents
von: Xu, Jiexi
Veröffentlicht: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

Validating Formal Specifications with LLM-generated Test Cases
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
von: Rodríguez, María Belén, et al.
Veröffentlicht: (2026)

SmellBench: Evaluating LLM Agents on Architectural Code Smell Repair
von: Dinu, Ion George, et al.
Veröffentlicht: (2026)

DAInfer+: Neurosymbolic Inference of API Specifications from Documentation via Embedding Models
von: Masoudian, Maryam, et al.
Veröffentlicht: (2026)

Hybrid Active Teaching Methodology for Learning Development: A Self-assessment Case Study Report in Computer Engineering
von: Baima, Renan Lima, et al.
Veröffentlicht: (2024)

Source Code Hotspots: A Diagnostic Method for Quality Issues
von: Muzammil, Saleha, et al.
Veröffentlicht: (2026)

Optimizing Large Language Models for OpenAPI Code Completion
von: Petryshyn, Bohdan, et al.
Veröffentlicht: (2024)

Source Code Protection for Applications Written in Microsoft Excel and Google Spreadsheet
von: Grossman, Thomas A.
Veröffentlicht: (2008)

CodeCompass: Navigating the Navigation Paradox in Agentic Code Intelligence
von: Paipuru, Tarakanath
Veröffentlicht: (2026)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
von: Bruzzone, Federico, et al.
Veröffentlicht: (2025)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)