An Interactive Tool for Feedback-Driven Step-by-Step Merge Conflict Resolution
Context Merging of work in cooperating sofware development often results in merge conflicts.
MSc Thesis
Automated Code Contract Repair: An LLM-Based Approach
Context Design by Contract represents an established, lightweight paradigm for engineering reliable and robust software systems by specifying verifiable expectations and obligations between software components, notably objects in object-oriented programming.
BIP Mining for Network Graph
Bitcoin Improvement Proposals (BIPs) are essential to the evolution of the Bitcoin protocol, characterized by both their individual attributes (e.
Enhancing Automated Contract Generation in Object-Oriented Programming: A Context-Aware LLM-Based Approach
Context Design by Contract represents an established, lightweight paradigm for engineering reliable and robust software systems by specifying verifiable expectations and obligations between software components, notably objects in object-oriented programming.
Feasibility of Partial Merging
Context Merging of work in cooperating sofware development often results in merge conflicts.
Model Contamination in the Wild
Context Nowadays, huge ML models are pre-trained on extremely large datasets, giving rise to for example LLMs.
Reducing Simulation Overhead in UAV/Drone Test Generation Using Surrogate Models
Context Unmanned aerial vehicles (UAVs), also known as drones, are acquiring increasing autonomy.