Tim
LightNews LightNews
schecki01.bsky.social
Tim
@schecki01.bsky.social
9 followers 18 following 0 posts
Posts Replies Media Videos
Reposted by Tim
derlinkemarko.bsky.social
Massive Polizeigewalt gegen Teilnehmer auf der B49

#Giessen
November 29, 2025 at 10:58 AM
Reposted by Tim
andreaszeller.bsky.social
Introducing #Fandango 💃 — a powerful bio-inspired test generator designed to supercharge your software testing. Fandango gives you unprecedented control over test inputs, integrating grammars, constraints, and Python. Now with protocol testing!

➡️ Check out Fandango at fandango-fuzzer.github.io
June 26, 2025 at 12:27 PM
Reposted by Tim
andreaszeller.bsky.social
What do you get if you combine #grammars, #constraints, #evolutionary algorithms, and #Python in one? A mighty fuzzer! Check out our latest #FANDANGO work, to appear at #ISSTA2025: publications.cispa.de/articles/sta... To try out Fandango yourself, check out its home page: fandango-fuzzer.github.io
FANDANGO: Evolving Language-Based Testing José Antonio Zamudio Amaya, Marius Smytzek, Andreas Zeller Language-based fuzzers leverage formal input specifications (languages) to generate arbitrarily large and diverse sets of valid inputs for a program under test. Modern language-based test generators combine grammars and constraints to satisfy syntactic and semantic input constraints. ISLa, the leading input generator in that space, uses symbolic constraint solving to solve input constraints. Using solvers places ISLa among the most precise fuzzers but also makes it slow. In this paper, we explore search-based testing as an alternative to symbolic constraint solving. We employ a genetic algorithm that iteratively generates candidate inputs from an input specification, evaluates them against defined constraints, evolving a population of inputs through syntactically valid mutations and retaining those with superior fitness until the semantic input constraints are met. This evolutionary procedure, analogous to natural genetic evolution, leads to progressively improved inputs that cover both semantics and syntax. This change boosts the efficiency of language-based testing: In our experiments, compared to ISLa, our search-based FANDANGO prototype is faster by one to three orders of magnitude without sacrificing precision. The search-based approach no longer restricts constraints to constraint solvers' (miniature) languages. In FANDANGO, constraints can use the whole Python language and library. This expressiveness gives testers unprecedented flexibility in shaping test inputs. It allows them to state arbitrary goals for test generation: "Please produce 1,000 valid test inputs where the <voltage> field follows a Gaussian distribution but never exceeds 20 mV."
April 10, 2025 at 7:43 PM
Reposted by Tim
andreaszeller.bsky.social
Big congrats to my students Tim Scheckenbach and Alexander Liggesmeyer, who just won Saarland University awards for their excellent BSc and MSc degrees!
March 26, 2025 at 2:42 PM