Tootfinder

I'm putting together notes for novices to do simple data analysis with R and the fact that I'm telling them to "cut and paste this inscrutable block of code at the start of your file" reminds me of nothing so much as when I worked for the ESRI in Dublin in the mid 1980s and we used to run SPSS analyses remotely on UCD's Amdahl by sandwiching our SPSS code (on punch cards) between two decks of IBM Job Control Language cards of which we understood nothing whatsoever.

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
Felix M\"achtle, Nils Loose, Jan-Niclas Serr, Jonas Sander, Thomas Eisenbarth
https://arxiv.org/abs/2509.08524

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
Symbolic execution is a powerful technique for software testing, but suffers from limitations when encountering external functions, such as native methods or third-party libraries. Existing solutions often require additional context, expensive SMT solvers, or manual intervention to approximate these functions through symbolic stubs. In this work, we propose a novel approach to automatically generate symbolic stubs for external functions during symbolic execution that leverages Genetic Programmi…