Michael Pradel

DeepBugs. DeepBugs is a framework for learning bug detectors from an existing code corpus.

Testora. LLM-based approach to find regression bugs. It checks the behavioral changes introduced by a pull request against its title, description, etc.

ConTeGe. Generation of sequential and concurrent unit tests to find correctness and performance problems in Java classes

LExecutor. A learning-guided approach for executing arbitrary Python code snippets

PointerNet. Pytorch implementation of Pointer Network

static-taint-analysis-project. Java

ASDL2017. Course project for "Analysing Software using Deep Learning"

WebAppWalker. Automated UI-level testing of web applications

Chairvana. Python

ASDL2018. Course project for "Analysing Software using Deep Learning" (Summer 2018, TU Darmstadt)