Username:
jbur...@gmail.com
Starred developers:
None
| Projects |
|---|
| Role | Project | Summary |
|---|---|---|
| Owner | crest | automatic test generation tool for C |
| Owner | floatdd | Tool to diagnose and repair C floating-point errors with delta debugging. |
| Starred by jbur...@gmail.com |
|---|
| Type | Name | Summary |
|---|---|---|
| Project | floatdd | Tool to diagnose and repair C floating-point errors with delta debugging. |
| Project | crest | automatic test generation tool for C |