126 citations · 174 across the 16 of their papers we have counts for
7 papers · 1 filter
ATLAS: Discovering Agent Strategies through LLM-Guided Abstraction and Automata Learning
Ignacio D. Lopez-Miguel, Andreas Happe, Jürgen Cito +3
Large Language Model (LLM)-based agents are increasingly used for complex tasks such as software testing and cybersecurity assessment. While these agents demonstrate impressive cap…
Reducing Token Usage of State-in-Context Agents using Minification
Nicolas Hrubec, Jürgen Cito
This paper presents a replication and extension of the recently introduced state-in-context agent framework. We independently re-implement the DirectSolve variant and evaluate it o…
Lost in Code Generation: Reimagining the Role of Software Models in AI-driven Software Engineering
Jürgen Cito, Dominik Bork
Generative AI enables rapid "vibe coding" and agentic software engineering, where natural-language prompts yield working software systems. This lowers barriers to software creation…
Online and Interactive Bayesian Inference Debugging
Nathanael Nussbaumer, Markus Böck, Jürgen Cito
Probabilistic programming is a rapidly developing programming paradigm which enables the formulation of Bayesian models as programs and the automation of posterior inference. It fa…
Adversarial Bug Reports as a Security Risk in Language Model-Based Automated Program Repair
Piotr Przymus, Andreas Happe, Jürgen Cito
Large Language Model (LLM) - based Automated Program Repair (APR) systems are increasingly integrated into modern software development workflows, offering automated patches in resp…
The Road to Hybrid Quantum Programs: Characterizing the Evolution from Classical to Hybrid Quantum Software
Vincenzo De Maio, Ivona Brandic, Ewa Deelman +1
Quantum computing exhibits the unique capability to natively and efficiently encode various natural phenomena, promising theoretical speedups of several orders of magnitude. Howeve…
Understanding Hackers' Work: An Empirical Study of Offensive Security Practitioners
Andreas Happe, Jürgen Cito
Offensive security-tests are a common way to pro-actively discover potential vulnerabilities. They are performed by specialists, often called penetration-testers or white-hat hacke…