Image de couverture de livre

Graph-Based Specification and Automated Construction of ILP Problems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ehmes, Sebastian, Kratz, Maximilian, Schürr, Andy
Format:	Preprint
Publié:	2022
Sujets:	Software Engineering D.2.1; D.2.2; D.2.3; D.3.4; G.1.6
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
par: Kratz, Maximilian, et autres
Publié: (2025)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
par: Kratz, Maximilian, et autres
Publié: (2025)

Code Documentation and Analysis to Secure Software Development
par: Attie, Paul, et autres
Publié: (2024)

Constrained LTL Specification Learning from Examples
par: Zhang, Changjian, et autres
Publié: (2024)

Scattered Forest Search: Smarter Code Space Exploration with LLMs
par: Light, Jonathan, et autres
Publié: (2024)

Teaching Complex Systems based on Microservices
par: Ferreira, Renato Cordeiro, et autres
Publié: (2025)

Causal Models in Requirement Specifications for Machine Learning: A vision
par: Heyn, Hans-Martin, et autres
Publié: (2025)

PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
par: Ariamajd, Armin, et autres
Publié: (2025)

Litrepl: Literate Paper Processor Promoting Transparency More Than Reproducibility
par: Mironov, Sergei
Publié: (2025)

Model Generation with LLMs: From Requirements to UML Sequence Diagrams
par: Ferrari, Alessio, et autres
Publié: (2024)

Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP
par: Vogel, Martin, et autres
Publié: (2026)

Myriad People Open Source Software for New Media Arts
par: Baudry, Benoit, et autres
Publié: (2025)

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
par: Prasetya, I. S. W. B., et autres
Publié: (2026)

Early-Stage Requirements Transformation Approaches: A Systematic Review
par: Letsholo, Keletso J.
Publié: (2024)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
par: Chen, Jinbao, et autres
Publié: (2024)

SIADAFIX: issue description response for adaptive program repair
par: Cao, Xin, et autres
Publié: (2025)

Characterizing JavaScript Security Code Smells
par: Kambhampati, Vikas, et autres
Publié: (2024)

JITScope: Interactive Visualization of JIT Compiler IR Transformations
par: Dalbo, Kyra, et autres
Publié: (2025)

Optimizing Large Language Models for OpenAPI Code Completion
par: Petryshyn, Bohdan, et autres
Publié: (2024)

AI-assisted JSON Schema Creation and Mapping
par: Neubauer, Felix, et autres
Publié: (2025)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
par: Bruzzone, Federico, et autres
Publié: (2025)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
par: Ravi, Ravin, et autres
Publié: (2026)

L2MAC: Large Language Model Automatic Computer for Extensive Code Generation
par: Holt, Samuel, et autres
Publié: (2023)

Source Code Protection for Applications Written in Microsoft Excel and Google Spreadsheet
par: Grossman, Thomas A.
Publié: (2008)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
par: Mitra, Joydeep, et autres
Publié: (2020)

NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories
par: Chen, Xinfang, et autres
Publié: (2025)

LLMCup: Ranking-Enhanced Comment Updating with LLMs
par: Ge, Hua, et autres
Publié: (2025)

IACDM: Interactive Adversarial Convergence Development Methodology -- A Structured Framework for AI-Assisted Software Development
par: Moreira, Jasmine
Publié: (2026)

How to Drawjectory? -- Trajectory Planning using Programming by Demonstration
par: Alkewitz, Leonhard, et autres
Publié: (2024)

Addressing Visual Impairments with Model-Driven Engineering: A Systematic Literature Review
par: Michael, Judith, et autres
Publié: (2025)

Memory Management and Contextual Consistency for Long-Running Low-Code Agents
par: Xu, Jiexi
Publié: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
par: Cunha, Alcino, et autres
Publié: (2025)

Extended Mittag--Leffler Stability Results for Fuzzy Fractional Systems
par: En-naoui, Es-said
Publié: (2025)

Validating Formal Specifications with LLM-generated Test Cases
par: Cunha, Alcino, et autres
Publié: (2025)

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
par: Rodríguez, María Belén, et autres
Publié: (2026)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
par: Beg, Arshad, et autres
Publié: (2026)

Spreadsheet Engineering: A Research Framework
par: Grossman, Thomas A.
Publié: (2007)

SmellBench: Evaluating LLM Agents on Architectural Code Smell Repair
par: Dinu, Ion George, et autres
Publié: (2026)

DAInfer+: Neurosymbolic Inference of API Specifications from Documentation via Embedding Models
par: Masoudian, Maryam, et autres
Publié: (2026)

Hybrid Active Teaching Methodology for Learning Development: A Self-assessment Case Study Report in Computer Engineering
par: Baima, Renan Lima, et autres
Publié: (2024)