Ridwan Shariffdeen

icon indicating a website link https://rshariffdeen.com

icon company National University of Singapore icon location Singapore icon location Software engineering researcher, Docker evangelist Automated program repair enthusiast & Cyber security advocate

Results 6 comments of Ridwan Shariffdeen

Upstreaming KLEE concolic branch

Hi! Thanks for looking into this, let me know if you are able to successfully rebase, in the meantime I will check your fork with CPR.

Upstreaming KLEE concolic branch

@McSinyx is there any update on the progress?

Fix documentation example for unified diffs

Hi, Yes any contribution is welcome, you can submit a pull request anytime

Compilation of bugs with multiple submodules

Hi @jose Thanks for opening the issue, Indeed I have encountered this in other benchmarks as well, for such instances we change the scope the build to the buggy module....

Setup Bugs.jar benchmark

@Marti2203 is this completed?

Rework Recorder to not depend on the Defects4j validation script

@Marti2203 - I believe you were able to make progress in this ?