Saved in:
| Main Authors: | Müller, Robert, Weiß, Mathis, Lochau, Malte |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2407.04499 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Automata Models for Effective Bug Pattern Description
by: Yaacov, Tom, et al.
Published: (2025)
by: Yaacov, Tom, et al.
Published: (2025)
Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
by: Hähnle, Reiner, et al.
Published: (2025)
by: Hähnle, Reiner, et al.
Published: (2025)
Adversarial Feature Map Pruning for Backdoor
by: Huang, Dong, et al.
Published: (2023)
by: Huang, Dong, et al.
Published: (2023)
Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)
by: Beyer, Dirk, et al.
Published: (2024)
by: Beyer, Dirk, et al.
Published: (2024)
Log-based vs Graph-based Approaches to Fault Diagnosis
by: Nguyen, Mathis, et al.
Published: (2026)
by: Nguyen, Mathis, et al.
Published: (2026)
Program Feature-based Fuzzing Benchmarking
by: Miao, Miao
Published: (2025)
by: Miao, Miao
Published: (2025)
Rigorous Assessment of Model Inference Accuracy using Language Cardinality
by: Clun, Donato, et al.
Published: (2022)
by: Clun, Donato, et al.
Published: (2022)
Semantic Zoom and Mini-Maps for Software Cities
by: Hansen, Malte, et al.
Published: (2025)
by: Hansen, Malte, et al.
Published: (2025)
A Feature Dataset of Microservices-based Systems
by: Yang, Weipan, et al.
Published: (2024)
by: Yang, Weipan, et al.
Published: (2024)
Reusability and Modifiability in Robotics Software (Extended Version)
by: Pomponio, Laura, et al.
Published: (2024)
by: Pomponio, Laura, et al.
Published: (2024)
Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
by: Hennicker, Rolf, et al.
Published: (2024)
by: Hennicker, Rolf, et al.
Published: (2024)
ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
by: Christensen, Katrine, et al.
Published: (2025)
by: Christensen, Katrine, et al.
Published: (2025)
TopoMap: A Feature-based Semantic Discriminator of the Topographical Regions in the Test Input Space
by: De Vita, Gianmarco, et al.
Published: (2025)
by: De Vita, Gianmarco, et al.
Published: (2025)
A Generalized Feature Model for Digital Twins
by: Zech, Philipp, et al.
Published: (2026)
by: Zech, Philipp, et al.
Published: (2026)
Online Discovery of Simulation Models for Evolving Business Processes (Extended Version)
by: Vinci, Francesco, et al.
Published: (2025)
by: Vinci, Francesco, et al.
Published: (2025)
Software Model Checking via Summary-Guided Search (Extended Version)
by: Fang, Ruijie, et al.
Published: (2025)
by: Fang, Ruijie, et al.
Published: (2025)
variability.dev: Towards an Online Toolbox for Feature Modeling
by: Heß, Tobias, et al.
Published: (2025)
by: Heß, Tobias, et al.
Published: (2025)
Feature-Aware Test Generation for Deep Learning Models
by: Chen, Xingcheng, et al.
Published: (2026)
by: Chen, Xingcheng, et al.
Published: (2026)
Demystifying Feature Requests: Leveraging LLMs to Refine Feature Requests in Open-Source Software
by: KC, Pragyan, et al.
Published: (2025)
by: KC, Pragyan, et al.
Published: (2025)
Local Features: Enhancing Variability Modeling in Software Product Lines
by: de Castro, David, et al.
Published: (2024)
by: de Castro, David, et al.
Published: (2024)
Automated Repair of OpenID Connect Programs (Extended Version)
by: Rahat, Tamjid Al, et al.
Published: (2025)
by: Rahat, Tamjid Al, et al.
Published: (2025)
T-FREX: A Transformer-based Feature Extraction Method from Mobile App Reviews
by: Motger, Quim, et al.
Published: (2024)
by: Motger, Quim, et al.
Published: (2024)
Software Testing for Extended Reality Applications: A Systematic Mapping Study
by: Gu, Ruizhen, et al.
Published: (2025)
by: Gu, Ruizhen, et al.
Published: (2025)
Accurate and Noise-Tolerant Extraction of Routine Logs in Robotic Process Automation (Extended Version)
by: de Leoni, Massimiliano, et al.
Published: (2025)
by: de Leoni, Massimiliano, et al.
Published: (2025)
Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
by: Wei, Hengfeng, et al.
Published: (2025)
by: Wei, Hengfeng, et al.
Published: (2025)
Feature Importance in the Context of Traditional and Just-In-Time Software Defect Prediction Models
by: Haldar, Susmita, et al.
Published: (2024)
by: Haldar, Susmita, et al.
Published: (2024)
Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
by: Schwarz, Michael, et al.
Published: (2025)
by: Schwarz, Michael, et al.
Published: (2025)
FeatureBench: Benchmarking Agentic Coding for Complex Feature Development
by: Zhou, Qixing, et al.
Published: (2026)
by: Zhou, Qixing, et al.
Published: (2026)
Feature-Driven End-To-End Test Generation
by: Alian, Parsa, et al.
Published: (2024)
by: Alian, Parsa, et al.
Published: (2024)
Ranking Plausible Patches by Historic Feature Frequencies
by: Bhuiyan, Shifat Sahariar, et al.
Published: (2024)
by: Bhuiyan, Shifat Sahariar, et al.
Published: (2024)
Feature Slice Matching for Precise Bug Detection
by: Ma, Ke, et al.
Published: (2025)
by: Ma, Ke, et al.
Published: (2025)
Variability-Aware Machine Learning Model Selection: Feature Modeling, Instantiation, and Experimental Case Study
by: Tavares, Cristina, et al.
Published: (2024)
by: Tavares, Cristina, et al.
Published: (2024)
Toward a Mapping of Capability and Skill Models using Asset Administration Shells and Ontologies
by: da Silva, Luis Miguel Vieira, et al.
Published: (2023)
by: da Silva, Luis Miguel Vieira, et al.
Published: (2023)
Runtime Instrumentation for Reactive Components (Extended Version)
by: Aceto, Luca, et al.
Published: (2024)
by: Aceto, Luca, et al.
Published: (2024)
Enhancing Software Effort Estimation through Reinforcement Learning-based Project Management-Oriented Feature Selection
by: Chen, Haoyang, et al.
Published: (2024)
by: Chen, Haoyang, et al.
Published: (2024)
MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
by: Lauwaerts, Tom, et al.
Published: (2025)
by: Lauwaerts, Tom, et al.
Published: (2025)
Feature Request Analysis and Processing: Tasks, Techniques, and Trends
by: Niu, Feifei, et al.
Published: (2025)
by: Niu, Feifei, et al.
Published: (2025)
TS-Detector : Detecting Feature Toggle Usage Patterns
by: Rahman, Tajmilur, et al.
Published: (2025)
by: Rahman, Tajmilur, et al.
Published: (2025)
Defect Prediction with Content-based Features
by: Pham, Hung Viet, et al.
Published: (2024)
by: Pham, Hung Viet, et al.
Published: (2024)
Instrumentation of Software Systems with OpenTelemetry for Software Visualization
by: Hansen, Malte, et al.
Published: (2024)
by: Hansen, Malte, et al.
Published: (2024)
Similar Items
-
Automata Models for Effective Bug Pattern Description
by: Yaacov, Tom, et al.
Published: (2025) -
Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
by: Hähnle, Reiner, et al.
Published: (2025) -
Adversarial Feature Map Pruning for Backdoor
by: Huang, Dong, et al.
Published: (2023) -
Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)
by: Beyer, Dirk, et al.
Published: (2024) -
Log-based vs Graph-based Approaches to Fault Diagnosis
by: Nguyen, Mathis, et al.
Published: (2026)