Juan Altmayer Pizzorno

Efficient and Effective Test Generation and Type Inference for Python Applications

Python has become one of the most widely used programming languages, valued for its flexibility and ease of use. However, its dynamic nature provides only limited static guarantees, making programs more difficult to write reliably: errors are more likely to remain undetected until runtime. Tests and type checking can m...