:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bayha, Andreas, Aravantinos, Vincent
Format:	Preprint
Published:	2020
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2008.11427
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Generalized Software Product Line Extraction
by: Bruzzone, Federico, et al.
Published: (2026)

Guided Tensor Lifting
by: Li, Yixuan, et al.
Published: (2025)

Local Features: Enhancing Variability Modeling in Software Product Lines
by: de Castro, David, et al.
Published: (2024)

No Need to Lift a Finger Anymore? Assessing the Quality of Code Generation by ChatGPT
by: Liu, Zhijie, et al.
Published: (2023)

Lifting the Veil on Composition, Risks, and Mitigations of the Large Language Model Supply Chain
by: Huang, Kaifeng, et al.
Published: (2024)

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
by: Murphy, Logan, et al.
Published: (2024)

WebSPL: A Software Product Line for Web Applications
by: da Luz, Maicon Azevedo, et al.
Published: (2024)

Software Product Line Engineering: Adoption, Tooling and AI Era Challenges
by: Nazar, Najam
Published: (2026)

Synthline: A Product Line Approach for Synthetic Requirements Engineering Data Generation using Large Language Models
by: El-Hajjami, Abdelkarim, et al.
Published: (2025)

Sustainability Analysis Patterns for Process Mining and Process Modelling Approaches
by: Fritsch, Andreas
Published: (2025)

Flexible Process Variant Binding in Information Systems with Software Product Line Engineering
by: Hehnle, Philipp, et al.
Published: (2024)

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

EFACT: an External Function Auto-Completion Tool to Strengthen Static Binary Lifting
by: Zhang, Yilei, et al.
Published: (2024)

Exploring and Lifting the Robustness of LLM-powered Automated Program Repair with Metamorphic Testing
by: Xue, Pengyu, et al.
Published: (2024)

Compact Constraint Encoding for LLM Code Generation: An Empirical Study of Token Economics and Constraint Compliance
by: Tang, Hanzhang
Published: (2026)

In Line with Context: Repository-Level Code Generation via Context Inlining
by: Hu, Chao, et al.
Published: (2026)

IRatePL2C: Importance Rating-based Approach for Product Lines Collaborative Configuration
by: Sassi, Sihem Ben
Published: (2024)

Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis
by: Le, Viet-Man, et al.
Published: (2026)

Semantic Constraint Inference for Web Form Test Generation
by: Alian, Parsa, et al.
Published: (2024)

FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents
by: Nitin, Vikram, et al.
Published: (2025)

Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes
by: Li, Mingyi, et al.
Published: (2025)

Constraint-Guided Unit Test Generation for Machine Learning Libraries
by: Krodinger, Lukas, et al.
Published: (2025)

Testing Deep Learning Libraries via Neurosymbolic Constraint Learning
by: Naziri, M M Abid, et al.
Published: (2026)

Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
by: Koh, Daniel, et al.
Published: (2025)

A Core Calculus for Type-safe Product Lines of C Programs
by: Damiani, Ferruccio, et al.
Published: (2026)

Modeling and Analysis of the Landing Gear System with the Generalized Contracts
by: Khouass, Abdelkader, et al.
Published: (2021)

A Multi-Agent Framework for Automated Exploit Generation with Constraint-Guided Comprehension and Reflection
by: Chen, Siyi, et al.
Published: (2026)

From Specifications to Prompts: On the Future of Generative LLMs in Requirements Engineering
by: Vogelsang, Andreas
Published: (2024)

Mimicking Production Behavior with Generated Mocks
by: Tiwari, Deepika, et al.
Published: (2022)

Can Large Language Models Solve Path Constraints in Symbolic Execution?
by: Wang, Wenhan, et al.
Published: (2025)

On Evaluating the Efficiency of Source Code Generated by LLMs
by: Niu, Changan, et al.
Published: (2024)

AndroLog: Android Instrumentation and Code Coverage Analysis
by: Samhi, Jordan, et al.
Published: (2024)

Traffic Scenario Orchestration from Language via Constraint Satisfaction
by: Rong, Frieda, et al.
Published: (2026)

A Microservice Graph Generator with Production Characteristics
by: Du, Fanrong, et al.
Published: (2024)

Constraint based Modeling according to Reference Design
by: Heiland, Erik, et al.
Published: (2024)

Generating Streamlining Constraints with Large Language Models
by: Voboril, Florentina, et al.
Published: (2024)

Efficient Code Analysis via Graph-Guided Large Language Models
by: Gao, Hang, et al.
Published: (2026)

Barriers to Adopting Design for Assembly in Modular Product Architecture: Development of a Conceptual Model Through Content Analysis
by: Monetti, Fabio Marco, et al.
Published: (2024)

Improving Code Generation via Small Language Model-as-a-judge
by: Crupi, Giuseppe, et al.
Published: (2026)

The Product Beyond the Model -- An Empirical Study of Repositories of Open-Source ML Products
by: Nahar, Nadia, et al.
Published: (2023)