Buchumschlag

Generalized Software Product Line Extraction

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bruzzone, Federico, Cazzola, Walter, Favalli, Luca
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

From Separate Compilation to Sound Language Composition
von: Bruzzone, Federico, et al.
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)

A Core Calculus for Type-safe Product Lines of C Programs
von: Damiani, Ferruccio, et al.
Veröffentlicht: (2026)

Comprehension vs. Adoption: Evaluating a Language Workbench Through a Family of Experiments
von: Broccia, Giovanna, et al.
Veröffentlicht: (2026)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
von: Steffen, Bernhard, et al.
Veröffentlicht: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
von: Fang, Yuzhou, et al.
Veröffentlicht: (2025)

Catalpa: GC for a Low-Variance Software Stack
von: Arnold, Anthony, et al.
Veröffentlicht: (2025)

Local Software Buildability across Java Versions (Registered Report)
von: Sulír, Matúš, et al.
Veröffentlicht: (2024)

Caruca: Effective and Efficient Specification Mining for Opaque Software Components
von: Lamprou, Evangelos, et al.
Veröffentlicht: (2025)

Meta-Monomorphizing Specializations
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Software Model Checking via Summary-Guided Search (Extended Version)
von: Fang, Ruijie, et al.
Veröffentlicht: (2025)

JEDI: Java Evaluation of Declarative and Imperative Queries
von: Schiavio, Filippo, et al.
Veröffentlicht: (2026)

How Natural Language Proficiency Shapes GenAI Code for Software Engineering Tasks
von: Rojpaisarnkit, Ruksit, et al.
Veröffentlicht: (2025)

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
von: Carreira, Carolina, et al.
Veröffentlicht: (2025)

Misleading Microbenchmarks on the Java Virtual Machines
von: Schiavio, Filippo, et al.
Veröffentlicht: (2026)

MapReplay: Trace-Driven Benchmark Generation for Java HashMap
von: Schiavio, Filippo, et al.
Veröffentlicht: (2026)

From Code Generation to Software Testing: AI Copilot with Context-Based RAG
von: Wang, Yuchen, et al.
Veröffentlicht: (2025)

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
von: Serebryany, Kostya, et al.
Veröffentlicht: (2023)

Micro-Patterns in Solidity Code
von: Ruschioni, Luca, et al.
Veröffentlicht: (2025)

Introduction to Analytical Software Engineering Design Paradigm
von: Houichime, Tarik, et al.
Veröffentlicht: (2025)

Metamorphic Debugging for Accountable Software
von: Tizpaz-Niari, Saeid, et al.
Veröffentlicht: (2024)

Pareto Optimal Code Generation
von: Orlanski, Gabriel, et al.
Veröffentlicht: (2025)

Concept-Based Generic Programming in C++
von: Stroustrup, Bjarne
Veröffentlicht: (2025)

Program Structure Aware Precondition Generation
von: Dinella, Elizabeth, et al.
Veröffentlicht: (2023)

Toward an Agentic Infused Software Ecosystem
von: Marron, Mark
Veröffentlicht: (2026)

Automated Code Editing with Search-Generate-Modify
von: Liu, Changshu, et al.
Veröffentlicht: (2023)

A New Generation of Intelligent Development Environments
von: Marron, Mark
Veröffentlicht: (2024)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
von: Stinnett, J. Ryan, et al.
Veröffentlicht: (2024)

Python Symbolic Execution with LLM-powered Code Generation
von: Wang, Wenhan, et al.
Veröffentlicht: (2024)

Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment
von: Kaushik, Kartik, et al.
Veröffentlicht: (2024)

ReSyn: A Generalized Recursive Regular Expression Synthesis Framework
von: Kim, Seongmin, et al.
Veröffentlicht: (2026)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
von: Bouras, Dimitrios Stamatios, et al.
Veröffentlicht: (2026)

Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
von: Chatterjee, Bodhisatwa, et al.
Veröffentlicht: (2024)

Strengthening Programming Comprehension in Large Language Models through Code Generation
von: Ren, Xiaoning, et al.
Veröffentlicht: (2025)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
von: Cui, Baoquan, et al.
Veröffentlicht: (2025)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
von: Dau, Anh T. V., et al.
Veröffentlicht: (2026)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
von: Ates, Berke, et al.
Veröffentlicht: (2026)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
von: Qiu, Ruidi, et al.
Veröffentlicht: (2024)

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
von: Karapetyan, Daniel
Veröffentlicht: (2025)