Tootfinder

PyMigTool: a tool for end-to-end Python library migration
Mohayeminul Islam, Ajay Kumar Jha, May Mahmoud, Sarah Nadi
https://arxiv.org/abs/2510.08810 https://

PyMigTool: a tool for end-to-end Python library migration
Library migration is the process of replacing a library with a similar one in a software project. Manual library migration is time consuming and error prone, as it requires developers to understand the Application Programming Interfaces (API) of both libraries, map equivalent APIs, and perform the necessary code transformations. Due to the difficulty of the library migration process, most of the existing automated techniques and tooling stop at the API mapping stage or support a limited set of …

darf man eigentlich ein unternehmen mit dem namen "vegane leberwurst gmbh" gründen und vllt sogar noch marke "vegane leberwurst" für lebensmittel eintragen lassen und dann vegane leberwurst verkaufen wo das auf der packung steht

Listening to Rudolf Mumenthaler, head library of UZH, at the 10th anniversary of ZHAW library Winterthur. He argues that libraries have been taken advantage of when it comes to publishing and access to published material. They should be careful to not losing agency again when it comes to research data. Let’s see

Constraint-Guided Unit Test Generation for Machine Learning Libraries
Lukas Krodinger, Altin Hajdari, Stephan Lukasczyk, Gordon Fraser
https://arxiv.org/abs/2510.09108 https://

Constraint-Guided Unit Test Generation for Machine Learning Libraries
Machine learning (ML) libraries such as PyTorch and TensorFlow are essential for a wide range of modern applications. Ensuring the correctness of ML libraries through testing is crucial. However, ML APIs often impose strict input constraints involving complex data structures such as tensors. Automated test generation tools such as Pynguin are not aware of these constraints and often create non-compliant inputs. This leads to early test failures and limited code coverage. Prior work has investig…