Michael Pradel

Results 2 repositories owned by


                                            Michael Pradel

146

Stars

Forks

Watchers

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

Stars

Forks

Watchers

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