Michael Pradel

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.