Copertina

Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Müller, Robert, Weiß, Mathis, Lochau, Malte
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Automata Models for Effective Bug Pattern Description
di: Yaacov, Tom, et al.
Pubblicazione: (2025)

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
di: Hähnle, Reiner, et al.
Pubblicazione: (2025)

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)
di: Beyer, Dirk, et al.
Pubblicazione: (2024)

Program Feature-based Fuzzing Benchmarking
di: Miao, Miao
Pubblicazione: (2025)

Adversarial Feature Map Pruning for Backdoor
di: Huang, Dong, et al.
Pubblicazione: (2023)

Log-based vs Graph-based Approaches to Fault Diagnosis
di: Nguyen, Mathis, et al.
Pubblicazione: (2026)

Rigorous Assessment of Model Inference Accuracy using Language Cardinality
di: Clun, Donato, et al.
Pubblicazione: (2022)

A Feature Dataset of Microservices-based Systems
di: Yang, Weipan, et al.
Pubblicazione: (2024)

Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
di: Hennicker, Rolf, et al.
Pubblicazione: (2024)

ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
di: Christensen, Katrine, et al.
Pubblicazione: (2025)

Reusability and Modifiability in Robotics Software (Extended Version)
di: Pomponio, Laura, et al.
Pubblicazione: (2024)

Semantic Zoom and Mini-Maps for Software Cities
di: Hansen, Malte, et al.
Pubblicazione: (2025)

A Generalized Feature Model for Digital Twins
di: Zech, Philipp, et al.
Pubblicazione: (2026)

TopoMap: A Feature-based Semantic Discriminator of the Topographical Regions in the Test Input Space
di: De Vita, Gianmarco, et al.
Pubblicazione: (2025)

variability.dev: Towards an Online Toolbox for Feature Modeling
di: Heß, Tobias, et al.
Pubblicazione: (2025)

Feature-Aware Test Generation for Deep Learning Models
di: Chen, Xingcheng, et al.
Pubblicazione: (2026)

Online Discovery of Simulation Models for Evolving Business Processes (Extended Version)
di: Vinci, Francesco, et al.
Pubblicazione: (2025)

Software Model Checking via Summary-Guided Search (Extended Version)
di: Fang, Ruijie, et al.
Pubblicazione: (2025)

Demystifying Feature Requests: Leveraging LLMs to Refine Feature Requests in Open-Source Software
di: KC, Pragyan, et al.
Pubblicazione: (2025)

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

T-FREX: A Transformer-based Feature Extraction Method from Mobile App Reviews
di: Motger, Quim, et al.
Pubblicazione: (2024)

Software Testing for Extended Reality Applications: A Systematic Mapping Study
di: Gu, Ruizhen, et al.
Pubblicazione: (2025)

Feature Importance in the Context of Traditional and Just-In-Time Software Defect Prediction Models
di: Haldar, Susmita, et al.
Pubblicazione: (2024)

Variability-Aware Machine Learning Model Selection: Feature Modeling, Instantiation, and Experimental Case Study
di: Tavares, Cristina, et al.
Pubblicazione: (2024)

Feature-Driven End-To-End Test Generation
di: Alian, Parsa, et al.
Pubblicazione: (2024)

Ranking Plausible Patches by Historic Feature Frequencies
di: Bhuiyan, Shifat Sahariar, et al.
Pubblicazione: (2024)

Automated Repair of OpenID Connect Programs (Extended Version)
di: Rahat, Tamjid Al, et al.
Pubblicazione: (2025)

Feature Slice Matching for Precise Bug Detection
di: Ma, Ke, et al.
Pubblicazione: (2025)

Accurate and Noise-Tolerant Extraction of Routine Logs in Robotic Process Automation (Extended Version)
di: de Leoni, Massimiliano, et al.
Pubblicazione: (2025)

Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
di: Wei, Hengfeng, et al.
Pubblicazione: (2025)

Enhancing Software Effort Estimation through Reinforcement Learning-based Project Management-Oriented Feature Selection
di: Chen, Haoyang, et al.
Pubblicazione: (2024)

Feature Request Analysis and Processing: Tasks, Techniques, and Trends
di: Niu, Feifei, et al.
Pubblicazione: (2025)

TS-Detector : Detecting Feature Toggle Usage Patterns
di: Rahman, Tajmilur, et al.
Pubblicazione: (2025)

FeatureBench: Benchmarking Agentic Coding for Complex Feature Development
di: Zhou, Qixing, et al.
Pubblicazione: (2026)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
di: Schwarz, Michael, et al.
Pubblicazione: (2025)

An Extended Pattern Collection for Blockchain-based Applications
di: Xu, Xiwei, et al.
Pubblicazione: (2025)

Fuzzing REST APIs in Industry: Necessary Features and Open Problems
di: Arcuri, Andrea, et al.
Pubblicazione: (2026)

Efficient Decomposition Identification of Deterministic Finite Automata from Examples
di: Meng, Junjie, et al.
Pubblicazione: (2025)

MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
di: Lauwaerts, Tom, et al.
Pubblicazione: (2025)

Instrumentation of Software Systems with OpenTelemetry for Software Visualization
di: Hansen, Malte, et al.
Pubblicazione: (2024)