Michael Pradel

Introducing a versatile fuzzer using large language models for better software testing.

A new method enhances code completion by integrating project-specific API information.

Evaluating model calibration to improve code quality and developer trust.

DyPyBench offers a diverse set of projects for dynamic analysis in Python.

A new automated approach improves efficiency in fixing software bugs.

A system for recording and replaying actions in WebAssembly apps.

Discover a tool that simplifies software testing for developers across multiple projects.