Abstract: Many white-box testing methods are based on the analysis of program paths. For these methods, an important problem is to determine the feasibility of a given path, and find appropriate input ...

This is a port of Arduino to the RP2040 (Raspberry Pi Pico processor) and RP2350 (Raspberry Pi Pico 2 processor). It uses the bare Raspberry Pi Pico SDK and a custom GCC 14.3/Newlib 4.5 toolchain and ...

Abstract: This paper proposes a novel surrogate model for genetic programming that estimates the fitness of each individual by using the tree structure similarity. In particular, the fitness of each ...