Engineering Systems for Data Analysis Using Interactive Structured Inductive Programming
Fuente:
arXiv
Guardado en:
| Autores principales: | Surana, Shraddha, Srinivasan, Ashwin, Bain, Michael |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Towards Observation Lakehouses: Living, Interactive Archives of Software Behavior
por: Kessel, Marcus
Publicado: (2025)
por: Kessel, Marcus
Publicado: (2025)
Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
por: Lahiri, Shuvendu K.
Publicado: (2024)
por: Lahiri, Shuvendu K.
Publicado: (2024)
Synergy of Large Language Model and Model Driven Engineering for Automated Development of Centralized Vehicular Systems
por: Petrovic, Nenad, et al.
Publicado: (2024)
por: Petrovic, Nenad, et al.
Publicado: (2024)
Morescient GAI for Software Engineering (Extended Version)
por: Kessel, Marcus, et al.
Publicado: (2024)
por: Kessel, Marcus, et al.
Publicado: (2024)
CLS-CAD: Synthesizing CAD Assemblies in Fusion 360
por: Chaumet, Constantin, et al.
Publicado: (2023)
por: Chaumet, Constantin, et al.
Publicado: (2023)
A knowledge-driven framework for synthesizing designs from modular components
por: Chaumet, Constantin, et al.
Publicado: (2023)
por: Chaumet, Constantin, et al.
Publicado: (2023)
Towards Single-System Illusion in Software-Defined Vehicles -- Automated, AI-Powered Workflow
por: Lebioda, Krzysztof, et al.
Publicado: (2024)
por: Lebioda, Krzysztof, et al.
Publicado: (2024)
ATLAS: A Layered Constraint-Guided Framework for Structured Artifact Generation in LLM-Assisted MDE
por: Ma, Tong, et al.
Publicado: (2025)
por: Ma, Tong, et al.
Publicado: (2025)
Converting BPMN Diagrams to Privacy Calculus
por: Pitsiladis, Georgios V., et al.
Publicado: (2024)
por: Pitsiladis, Georgios V., et al.
Publicado: (2024)
The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
por: Zietsman, Christo
Publicado: (2026)
por: Zietsman, Christo
Publicado: (2026)
Test-driven Software Experimentation with LASSO: an LLM Prompt Benchmarking Example
por: Kessel, Marcus
Publicado: (2024)
por: Kessel, Marcus
Publicado: (2024)
N-Version Assessment and Enhancement of Generative AI
por: Kessel, Marcus, et al.
Publicado: (2024)
por: Kessel, Marcus, et al.
Publicado: (2024)
AI-assisted JSON Schema Creation and Mapping
por: Neubauer, Felix, et al.
Publicado: (2025)
por: Neubauer, Felix, et al.
Publicado: (2025)
JITScope: Interactive Visualization of JIT Compiler IR Transformations
por: Dalbo, Kyra, et al.
Publicado: (2025)
por: Dalbo, Kyra, et al.
Publicado: (2025)
Runtime Execution Traces Guided Automated Program Repair with Multi-Agent Debate
por: Wu, Jiaqing, et al.
Publicado: (2026)
por: Wu, Jiaqing, et al.
Publicado: (2026)
Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
por: Wienczkowski, Michael
Publicado: (2026)
por: Wienczkowski, Michael
Publicado: (2026)
Review Beats Planning: Dual-Model Interaction Patterns for Code Synthesis
por: Miller, Jan
Publicado: (2026)
por: Miller, Jan
Publicado: (2026)
Memory Management and Contextual Consistency for Long-Running Low-Code Agents
por: Xu, Jiexi
Publicado: (2025)
por: Xu, Jiexi
Publicado: (2025)
EvoGraph: Hybrid Directed Graph Evolution toward Software 3.0
por: Costa, Igor, et al.
Publicado: (2025)
por: Costa, Igor, et al.
Publicado: (2025)
RelRepair: Enhancing Automated Program Repair by Retrieving Relevant Code
por: Liu, Shunyu, et al.
Publicado: (2025)
por: Liu, Shunyu, et al.
Publicado: (2025)
Addressing Visual Impairments with Model-Driven Engineering: A Systematic Literature Review
por: Michael, Judith, et al.
Publicado: (2025)
por: Michael, Judith, et al.
Publicado: (2025)
You Don't Need Public Tests to Generate Correct Code
por: Silva, Kaushitha, et al.
Publicado: (2026)
por: Silva, Kaushitha, et al.
Publicado: (2026)
Unified Modeling Language Code Generation from Diagram Images Using Multimodal Large Language Models
por: Bates, Averi, et al.
Publicado: (2025)
por: Bates, Averi, et al.
Publicado: (2025)
Instruction and Solution Probabilities as Heuristics for Inductive Programming
por: McDaid, Edward, et al.
Publicado: (2025)
por: McDaid, Edward, et al.
Publicado: (2025)
LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study
por: Ranasinghe, Nishath Rajiv, et al.
Publicado: (2025)
por: Ranasinghe, Nishath Rajiv, et al.
Publicado: (2025)
Who is Introducing the Failure? Automatically Attributing Failures of Multi-Agent Systems via Spectrum Analysis
por: Ge, Yu, et al.
Publicado: (2025)
por: Ge, Yu, et al.
Publicado: (2025)
Test-Driven AI Agent Definition (TDAD): Compiling Tool-Using Agents from Behavioral Specifications
por: Rehan, Tzafrir
Publicado: (2026)
por: Rehan, Tzafrir
Publicado: (2026)
Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
por: Susan, Ştefan-Claudiu, et al.
Publicado: (2025)
por: Susan, Ştefan-Claudiu, et al.
Publicado: (2025)
LLM Agents for Generating Microservice-based Applications: how complex is your specification?
por: Yellin, Daniel M.
Publicado: (2025)
por: Yellin, Daniel M.
Publicado: (2025)
Addressing Data Leakage in HumanEval Using Combinatorial Test Design
por: Bradbury, Jeremy S., et al.
Publicado: (2024)
por: Bradbury, Jeremy S., et al.
Publicado: (2024)
LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
por: Fakih, Mohamad, et al.
Publicado: (2024)
por: Fakih, Mohamad, et al.
Publicado: (2024)
Multicalibration for LLM-based Code Generation
por: Campos, Viola, et al.
Publicado: (2025)
por: Campos, Viola, et al.
Publicado: (2025)
Abstain and Validate: A Dual-LLM Policy for Reducing Noise in Agentic Program Repair
por: Cambronero, José, et al.
Publicado: (2025)
por: Cambronero, José, et al.
Publicado: (2025)
Contrastive Learning-Enhanced Large Language Models for Monolith-to-Microservice Decomposition
por: Sellami, Khaled, et al.
Publicado: (2025)
por: Sellami, Khaled, et al.
Publicado: (2025)
Toward Architecture-Aware Evaluation Metrics for LLM Agents
por: Souza, Débora, et al.
Publicado: (2026)
por: Souza, Débora, et al.
Publicado: (2026)
LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
por: Ravi, Ravin, et al.
Publicado: (2026)
por: Ravi, Ravin, et al.
Publicado: (2026)
AgentModernize: Preserving Business Logic in Legacy Modernization with Multi-Agent LLMs and Behavioral Specification Graphs
por: Ahmed, Sheikh Nazib, et al.
Publicado: (2026)
por: Ahmed, Sheikh Nazib, et al.
Publicado: (2026)
OODEval: Evaluating Large Language Models on Object-Oriented Design
por: Xiao, Bingxu, et al.
Publicado: (2026)
por: Xiao, Bingxu, et al.
Publicado: (2026)
KTBox: A Modular LaTeX Framework for Semantic Color, Structured Highlighting, and Scholarly Communication
por: Mangal, Bhaskar, et al.
Publicado: (2025)
por: Mangal, Bhaskar, et al.
Publicado: (2025)
Cognitive Atrophy and Systemic Collapse in AI-Dependent Software Engineering
por: Ginac, Frank
Publicado: (2026)
por: Ginac, Frank
Publicado: (2026)
Ejemplares similares
-
Towards Observation Lakehouses: Living, Interactive Archives of Software Behavior
por: Kessel, Marcus
Publicado: (2025) -
Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
por: Lahiri, Shuvendu K.
Publicado: (2024) -
Synergy of Large Language Model and Model Driven Engineering for Automated Development of Centralized Vehicular Systems
por: Petrovic, Nenad, et al.
Publicado: (2024) -
Morescient GAI for Software Engineering (Extended Version)
por: Kessel, Marcus, et al.
Publicado: (2024) -
CLS-CAD: Synthesizing CAD Assemblies in Fusion 360
por: Chaumet, Constantin, et al.
Publicado: (2023)