:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Glock, Johann, Pichler, Josef, Pinzger, Martin
Format:	Preprint
Published:	2023
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2311.08071
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests
by: Glock, Johann, et al.
Published: (2025)

Microservice API Evolution in Practice: A Study on Strategies and Challenges
by: Lercher, Alexander, et al.
Published: (2023)

Security Incentivization: An Empirical Study of how Micropayments Impact Code Security
by: Rass, Stefan, et al.
Published: (2026)

Hyperparameter Optimization for AST Differencing
by: Martinez, Matias, et al.
Published: (2020)

A Dataset and Preliminary Study of Using GPT-5 for Code-change Impact Analysis
by: Stengg, Katharina, et al.
Published: (2025)

Generating Accurate OpenAPI Descriptions from Java Source Code
by: Lercher, Alexander, et al.
Published: (2024)

BDiff: Block-aware and Accurate Text-based Code Differencing
by: Lu, Yao, et al.
Published: (2025)

Inferring Attributed Grammars from Parser Implementations
by: Pointner, Andreas, et al.
Published: (2025)

SoliDiffy: AST Differencing for Solidity Smart Contracts
by: Eshghie, Mojtaba, et al.
Published: (2024)

A Novel Refactoring and Semantic Aware Abstract Syntax Tree Differencing Tool and a Benchmark for Evaluating the Accuracy of Diff Tools
by: Alikhanifard, Pouria, et al.
Published: (2024)

Lost in Translation? Converting RegExes for Log Parsing into Dynatrace Pattern Language
by: Fragner, Julian, et al.
Published: (2025)

A Systematic Literature Review on Reasons and Approaches for Accurate Effort Estimations in Agile
by: Pasuksmit, Jirat, et al.
Published: (2024)

ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
by: Yao, Bingkun, et al.
Published: (2025)

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

A Semantic-based Optimization Approach for Repairing LLMs: Case Study on Code Generation
by: Gu, Jian, et al.
Published: (2025)

Measuring the Impact of Technical Debt on Development Effort in Software Projects
by: Gupta, Kartik
Published: (2025)

Critical Considerations on Effort-aware Software Defect Prediction Metrics
by: Lavazza, Luigi, et al.
Published: (2025)

Mono: Is Your "Clean" Vulnerability Dataset Really Solvable? Exposing and Trapping Undecidable Patches and Beyond
by: Gao, Zeyu, et al.
Published: (2025)

PentestGPT: An LLM-empowered Automatic Penetration Testing Tool
by: Deng, Gelei, et al.
Published: (2023)

RiskHarvester: A Risk-based Tool to Prioritize Secret Removal Efforts in Software Artifacts
by: Basak, Setu Kumar, et al.
Published: (2025)

Effort and Size Estimation in Software Projects with Large Language Model-based Intelligent Interfaces
by: Coelho Jr, Claudionor N., et al.
Published: (2024)

Another Systematic Review? A Critical Analysis of Systematic Literature Reviews on Agile Effort and Cost Estimation
by: Edison, Henry, et al.
Published: (2026)

On the Practices of Autonomous Systems Development: Survey-based Empirical Findings
by: Goseva-Popstojanova, Katerina, et al.
Published: (2025)

Guiding Effort Allocation in Open-Source Software Projects Using Bus Factor Analysis
by: Lisan, Aliza, et al.
Published: (2024)

Methodology for Test Case Allocation based on a Formalized ODD
by: Skoglund, Martin, et al.
Published: (2025)

An Infrastructure Cost Optimised Algorithm for Partitioning of Microservices
by: Pendyala, Kalyani V N S, et al.
Published: (2024)

Semantic Clustering of Civic Proposals: A Case Study on Brazil's National Participation Platform
by: Ferreira, Ronivaldo, et al.
Published: (2025)

Issue Tracking Ecosystems: Context and Best Practices
by: Montgomery, Lloyd
Published: (2025)

Software-heavy Asset Administration Shells: Classification and Use Cases
by: Ellwein, Carsten, et al.
Published: (2026)

A Pythonic Functional Approach for Semantic Data Harmonisation in the ILIAD Project
by: Nystad, Erik Johan, et al.
Published: (2026)

Reducing Labeling Effort in Architecture Technical Debt Detection through Active Learning and Explainable AI
by: Sutoyo, Edi, et al.
Published: (2026)

A Structured Approach to Safety Case Construction for AI Systems
by: Lee, Sung Une, et al.
Published: (2026)

Agile Software Effort Estimation using Regression Techniques
by: Sima, Sisay Deresa, et al.
Published: (2025)

PTE: Axiomatic Semantics based Compiler Testing
by: Dong, Guoliang, et al.
Published: (2024)

Segment-Based Test Case Prioritization: A Multi-objective Approach
by: Huynh, Hieu, et al.
Published: (2024)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
by: Krook, Jonas, et al.
Published: (2022)

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

Evaluating Large Language Models for the Generation of Unit Tests with Equivalence Partitions and Boundary Values
by: Rodríguez, Martín, et al.
Published: (2025)

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

Comparison of Code Quality and Best Practices in IoT and non-IoT Software
by: Khezemi, Nour, et al.
Published: (2024)